very simple debugging switch

diff --git a/wwwroot/debugswitch.php b/wwwroot/debugswitch.php
new file mode 100644 (file)
index 0000000..ac1749d
--- /dev/null
+++ b/wwwroot/debugswitch.php
@@ -0,0 +1,9 @@
+<?php
+if ($_SESSION['debugging']) {
+  $_SESSION['debugging']=false;
+  echo "debugging turned off; refresh to turn it on";
+} else {
+  $_SESSION['debugging']=true;
+  echo "debugging turned on; refresh to turn it off";
+}
+?>