...

diff --git a/.gitignore b/.gitignore
new file mode 100644 (file)
index 0000000..b25c15b
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1 @@
+*~

diff --git a/submit.php b/submit.php
index 69d9ab85ce9aba4b454ba0e9eef761fca571ed3b..2e88c8527126ebcead3779082814350c192cb1cd 100644 (file)
--- a/submit.php
+++ b/submit.php
@@ -41,6 +41,14 @@
     print '</table>';
     break;
   }
+
+  if(trim(end($sessions)[0]) == "") {
+    print '<table bgcolor="red">';
+      print '<tr><th><b><font color="white">no exercises defined</font></b></th><tr>';
+    print '</table>';
+    break;
+  }
+
 ?>
 
   <form method="post" action="<?php echo $_SERVER['PHP_SELF']; ?>">

diff --git a/var/.gitignore b/var/.gitignore
new file mode 100644 (file)
index 0000000..2211df6
--- /dev/null
+++ b/var/.gitignore
@@ -0,0 +1 @@
+*.txt