Code on this page: 
		session_start(); 
		$mt = substr(microtime(true), 0);
		$_SESSION[$mt] = $mt;
		print_r ( $_SESSION );
Reload this page and see the $_SESSION array grow, then logout 
Array
(
    [1768833528.9277] => 1768833528.9277
)