- locked = document.getElementById("locked");
- unlocked = document.getElementById("unlocked");
- workarea = document.getElementById("workarea");
- scriptcell = document.getElementById("scriptcell");
- goalcell = document.getElementById("goalcell");
- goals = document.getElementById("goals");
- goalview = document.getElementById("goalview");
- filename = document.getElementById("filename");
- logarea = document.getElementById("logarea");
- advanceButton = document.getElementById("advance");
- retractButton = document.getElementById("retract");
- cursorButton = document.getElementById("cursor");
- bottomButton = document.getElementById("bottom");
-
- // hide sequent view at start
- hideSequent();
+ if (readCookie("session") == null) {
+ window.location = "/login.html"
+ } else {
+ locked = document.getElementById("locked");
+ unlocked = document.getElementById("unlocked");
+ workarea = document.getElementById("workarea");
+ scriptcell = document.getElementById("scriptcell");
+ goalcell = document.getElementById("goalcell");
+ goals = document.getElementById("goals");
+ goalview = document.getElementById("goalview");
+ filename = document.getElementById("filename");
+ logarea = document.getElementById("logarea");
+ advanceButton = document.getElementById("advance");
+ retractButton = document.getElementById("retract");
+ cursorButton = document.getElementById("cursor");
+ bottomButton = document.getElementById("bottom");
+
+ // hide sequent view at start
+ hideSequent();
+ }