typo, old name of xhr stream fixed

diff --git a/web/commons.js b/web/commons.js
index 1563ec8..36eb7c4 100644 (file)
--- 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();