<?php
include "mainfile.php";
$interval = @ini_get( 'session.gc_maxlifetime' ) ;
if( empty( $interval ) || $interval < 180 ) {
$interval = 1440 - 120 ; // PHP default : 1440sec (=24min)
} else {
$interval -= 120 ;
}
echo '
<html>
<head>
<meta HTTP-EQUIV="Refresh" CONTENT="'.$interval.'" />
</head>
<body>
</body>
</html>
' ;
?>