From 8213ed93e33ca78165e8d957be2b00313c11f24b Mon Sep 17 00:00:00 2001
From: "Matteo Nastasi (mop)" <nastasi@alternativeoutput.it>
Date: Tue, 14 Oct 2014 08:07:36 +0200
Subject: [PATCH] typo, old name of xhr stream fixed

---
 web/commons.js | 12 +++++++-----
 1 file changed, 7 insertions(+), 5 deletions(-)

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