Checks to see if $_SESSION[“user”] has been defined: <?php // allows session info to be used on this page session_start(); // if there is no user session info, exit fast if( !isset($_SESSION[“user”]) ) { header(“Location: login.htm”); session_write_close(); exit(); } ?> <html> … The page goes here! … What does “session_write_close();” do?
