End of session ($PHPSESSID)."; session_start( ); session_destroy( ); } else { $message = "

There was no session to destroy!"; } header("Location: $login_page"); ?>