From: Matteo Nastasi (mop) <nastasi@alternativeoutput.it>
Date: Tue, 14 Oct 2014 06:07:36 +0000 (+0200)
Subject: typo, old name of xhr stream fixed
X-Git-Tag: v4.15.0~2
X-Git-Url: http://mop.ddnsfree.com/gitweb/?p=brisk.git;a=commitdiff_plain;h=8213ed93e33ca78165e8d957be2b00313c11f24b

typo, old name of xhr stream fixed
---

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();