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
(
    [1754066832.2907] => 1754066832.2907
)