From d8055192991ac8504e48c137038879790c762d2d Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Tue, 26 Jul 2016 14:27:14 +0200
Subject: Adding and deleting users

---
 login.php | 11 +++++++++++
 1 file changed, 11 insertions(+)

(limited to 'login.php')

diff --git a/login.php b/login.php
index e60b7ed..d21fe79 100644
--- a/login.php
+++ b/login.php
@@ -87,3 +87,14 @@ if (!isset($_SESSION['login']) || $_SESSION['login'] === false) {
 }
 
 $_user = new user($_pdo, $_SESSION['login']);
+
+if (defined('REQUIRE_ADMIN') && REQUIRE_ADMIN && !$_user->isAdmin()) {
+	include('./header.php');
+	include('./nav.php');
+	?>
+	<h1>Access denied</h1>
+	<p class="lead">You need to be an administrator to access this page.</p>
+	<?php
+	include('./footer.php');
+	die();
+}
-- 
cgit v1.2.3