Proper handling of authenticated state on important pages.

[Project_webapp.git] / includes / reservations.php

diff --git a/includes/reservations.php b/includes/reservations.php
index 79ded0e133e893d26e865568a9ed76b24d4beb8f..44208ba7dc85e41f5380e4e40ccf9a190c358f1f 100644 (file)
--- a/includes/reservations.php
+++ b/includes/reservations.php
@@ -3,6 +3,7 @@ global $is_logged_in;
 if (!$is_logged_in) {
     echo "Please login first.";
     redirect("index.php?page=login", 2);
+    exit();
 }
 ?>
 <h1>Mes re&#769;servations</h1>