- session_start: documentation ( source)
- session_id: documentation ( source)
- header: documentation ( source)
<?phpsession_start();if(!isset($_SESSION['usr']) || !isset($_SESSION['pswd'])){header("Location: niceform.php");}include 'logoff.html';?><?php
session_start();
echo session_id();