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