fix stuff broken by previous pull
This commit is contained in:
parent
42c43ff76e
commit
8f49a2257b
|
@ -106,7 +106,7 @@
|
||||||
if (isset($_COOKIE[$session_name])) {
|
if (isset($_COOKIE[$session_name])) {
|
||||||
@session_start();
|
@session_start();
|
||||||
|
|
||||||
if (!isset($_SESSION["uid"] || !$_SESSION["uid"]) {
|
if (!isset($_SESSION["uid"]) || !$_SESSION["uid"]) {
|
||||||
session_destroy();
|
session_destroy();
|
||||||
setcookie(session_name(), '', time()-42000, '/');
|
setcookie(session_name(), '', time()-42000, '/');
|
||||||
}
|
}
|
||||||
|
|
Loading…
Reference in New Issue