X-Git-Url: https://mop.ddnsfree.com/gitweb/?a=blobdiff_plain;f=web%2Fcommons.js;h=36eb7c468aede352f303e4eec1c798cd3cb5d1bf;hb=8213ed93e33ca78165e8d957be2b00313c11f24b;hp=1563ec82dfecbb0edaec70f162ff3bfe05bdac88;hpb=a87f85a2c7763c7556a11838931c92e84083aa88;p=brisk.git

diff --git a/web/commons.js b/web/commons.js
index 1563ec8..36eb7c4 100644
--- a/web/commons.js
+++ b/web/commons.js
@@ -469,7 +469,7 @@ function postact_logout()
 {
     // alert("postact_logout");
     try { 
-	hstm.abort();
+	xstm.abort();
     } catch (e) {}
 
     // eraseCookie("sess");
@@ -1111,8 +1111,10 @@ function readCookie(name) {
 	var ca = document.cookie.split(';');
 	for(var i=0;i < ca.length;i++) {
 		var c = ca[i];
-		while (c.charAt(0)==' ') c = c.substring(1,c.length);
-		if (c.indexOf(nameEQ) == 0) return c.substring(nameEQ.length,c.length);
+		while (c.charAt(0)==' ')
+                    c = c.substring(1,c.length);
+		if (c.indexOf(nameEQ) == 0)
+                    return c.substring(nameEQ.length,c.length);
 	}
 	return null;
 }
@@ -1127,8 +1129,8 @@ function onbeforeunload_cb () {
 
 function onunload_cb () {
     
-    if (typeof(hstm) != "undefined")
-        hstm.the_end = true; 
+    if (typeof(xstm) != "undefined")
+        xstm.the_end = true;
 
     act_shutdown();