--- Revision 366134663832
+++ Revision 353839396430
@@ -1,3 +1,31 @@
+--- the signin php main page --
+
+<?php $pathToRoot=dirname($_SERVER['SCRIPT_FILENAME'])."/"; ?>
+<?php include($pathToRoot."includes/phpheader.php"); ?>
+<?php include($pathToRoot."includes/httpheader.php"); ?>
+<?php include($pathToRoot."includes/signin.php"); ?>
+<?php
+
+// Check if we have established a session
+if (isUserSignedIn())
+{
+  // There is a user logged on
+  outputSignedOnPage($_SESSION["authenticatedUser"]);
+}
+else
+{
+  // No session established, no POST variables 
+  // display the sign-in form + any message
+  outputSignInPage($_SESSION["sessionMessage"]);
+
+  session_destroy();
+}
+
+?>
+
+
+--- the signin.php include is listed below ---
+
 <?php
 // include guards
 if (!$INCLUDED_SIGN_IN_PHP):