SERVER_NAME รจ senza la porta HTTP_HOST global $AUTH,$DATI,$TXT,$FORM,$FORM_SQL, $pagina,$lang,$SONDAGGIO,$SONDAGGIO_CONF,$F,$LABEL,$TESTO;
//Allungo durata della sessione (file di sessione)!!! //$CONF['DURATA_SESSIONE'] deve essere disabilitato indi_add_action("post_setup","_post_setup_session"); function _post_setup_session() { global $CONF; if($CONF["path_base"]) { if(!is_dir($CONF["path_base"]."indi/session")) mkdir ($CONF["path_base"]."indi/session"); ini_set("session.save_path", $CONF["path_base"]."indi/session"); // 1/10 una volta su dieci visite controlla la sessione ini_set("session.gc_divisor", 10); ini_set("session.gc_probability", 1); ini_set('session.cookie_lifetime', 0); //scadenza cookie sessione ini_set('session.gc_maxlifetime', 10); //vita del file, dall' ultimo accesso $CONF['DURATA_SESSIONE'], default 1440 secondi } }