| changeset 25 | 576034a80ea8 |
| parent 13 | 2ff220cfde13 |
| child 47 | ae140472d97c |
| 24:9f0138ac3028 | 25:576034a80ea8 |
|---|---|
100 { |
100 { |
101 if ( $msg == "" ) { |
101 if ( $msg == "" ) { |
102 $msg = _('You have logged out.'); |
102 $msg = _('You have logged out.'); |
103 $type = "success"; |
103 $type = "success"; |
104 }; |
104 }; |
105 unset($_SESSION["userid"]); |
|
106 unset($_SESSION["name"]); |
|
107 unset($_SESSION["level"]);; |
|
105 session_destroy(); |
108 session_destroy(); |
106 session_write_close(); |
109 session_write_close(); |
107 auth($msg, $type); |
110 auth($msg, $type); |
108 exit; |
111 exit; |
109 } |
112 } |