debug switch finally works

diff --git a/wwwroot/debugswitch.php b/wwwroot/debugswitch.php
index ac1749d7d75cb4858b92b53c30d287d141227b4c..6c928e538c87fbca0c91b9fe527f397c906d92e6 100644 (file)
--- a/wwwroot/debugswitch.php
+++ b/wwwroot/debugswitch.php
@@ -1,4 +1,5 @@
 <?php
+session_start();
 if ($_SESSION['debugging']) {
   $_SESSION['debugging']=false;
   echo "debugging turned off; refresh to turn it on";