procedural test + fix bugs in autoLogOut.php