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