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 b2d8f4fc9b6e6bf86155b7ce7215702db838579c..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>
+<h1>Mes re&#769;servations</h1>