Hide more pages behind the logging page;

website/dashboard.php

@@ -36,6 +36,11 @@
  * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
 
 require_once("internals.php");
+
+if (!has_permissions()) {
+    die("You need to be logged in.");
+}
+
 require_once("lib/DB/Mode.php");
 require_once("lib/DB/Machine.php");
 require_once("lib/DB/TaskQueue.php");

website/task.php

@@ -5,6 +5,10 @@
 
 require_once("internals.php");
 
+if (!has_permissions()) {
+    die("You need to be logged in.");
+}
+
 require_once("lib/RetriggerController.php");
 require_once("lib/DB/TaskQueue.php");
 require_once("lib/DB/QueuedTask.php");

website/task_info.php

@@ -37,6 +37,10 @@
 
 require_once("internals.php");
 
+if (!has_permissions()) {
+    die("You need to be logged in.");
+}
+
 require_once("lib/RetriggerController.php");
 require_once("lib/DB/TaskQueue.php");
 require_once("lib/DB/QueuedTask.php");