Fixed missing logout

2016-01-23 11:36:27 +01:00 · 2016-01-23 11:36:27 +01:00 · 7e673d45e0
parent 5b23d5ae95
commit 7e673d45e0
1 changed files with 2 additions and 2 deletions
--- a/logout.php
+++ b/logout.php
@ -15,8 +15,8 @@ See the License for the specific language governing permissions and
 limitations under the License.
 -->
 <?php
-    //require_once 'lib/session.php';
-    //session_destroy();
+    require_once 'lib/session.php';
+    session_destroy();
 ?>
 <html>
    <head>