Eseguire un refresh
18 Febbraio 2015
Di seguito il codice per eseguire il refresh di una pagina php:
header("Refresh: 1;URL=nome_pagina.php"); ?>
Indicare in quale directory salvare le sessioni
17 Febbraio 2015
Bisogna andare nel file di configurazione del php (php.ini) e cercare la direttiva session.save_path e quindi indicare la directory nella quale verranno salvate le informazioni sulle sessioni dei nostri utenti.
Generare un numero casuale in Php
13 Febbraio 2015
Usando la funzione srand, che inizializza il generatore di numeri casuali, e poi ricavare il numero con la funzione rand, come mostrato di seguito:
<? srand((double)microtime()*1000000); echo rand(0,100); ?>