关于session的两个有用函数

session_unset();销毁session变量
session_destroy();删除当前用户对应的session文件以及释放session id，内存中的$_SESSION变量内容依然保留
因此，释放用户的session所有资源，需要顺序执行如下代码：
程序代码

$_SESSION['user'] = ‘tony’;
session_unset();
session_destroy();