view user/logout.php @ 16:093e42d5a874

minor tidy-ups on new-server install
author Henry S. Thompson <ht@inf.ed.ac.uk>
date Thu, 20 Apr 2017 18:15:34 -0400
parents 077b0a0a3e6d
children
line wrap: on
line source

<?php

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