view user/logout.php @ 58:39600878ff93

prefer empty result to no result at all
author Charlie Root
date Sun, 09 Jun 2019 06:48:35 -0400
parents 077b0a0a3e6d
children
line wrap: on
line source

<?php

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