view user/logout.php @ 18:c41a5802b26c

better debugging
author Henry S. Thompson <ht@inf.ed.ac.uk>
date Sun, 30 Jul 2017 05:34:46 -0400
parents 077b0a0a3e6d
children
line wrap: on
line source

<?php

		session_start($_GET['PHPSESSID']);
		session_destroy();
?>