From fa5ad51f6951bdda9c84f8c2252e457d61edec61 Mon Sep 17 00:00:00 2001
From: Sebastian Hammer <quinn@indexdata.com>
Date: Thu, 4 Jan 2007 03:06:40 +0000
Subject: [PATCH] Added session ping to Anders's demo client.

---
 www/test1/search.js |   34 +++++++++++++++++++++++++++++++++-
 1 file changed, 33 insertions(+), 1 deletion(-)

diff --git a/www/test1/search.js b/www/test1/search.js
index d9c6af3..94fd03a 100644
--- a/www/test1/search.js
+++ b/www/test1/search.js
@@ -1,4 +1,4 @@
-/* $Id: search.js,v 1.4 2007-01-04 02:53:37 quinn Exp $
+/* $Id: search.js,v 1.5 2007-01-04 03:06:40 quinn Exp $
  * ---------------------------------------------------
  * Javascript container
  */
@@ -43,6 +43,13 @@ function GetXmlHttpObject()
     return objXMLHttp
 } 
 
+function SendXmlHttpObject(obj, url, handler)
+{
+    obj.onreadystatechange=handler;
+    obj.open("GET", url);
+    obj.send(null);
+}
+
 function session_started()
 {
     if (xinitSession.readyState != 4)
@@ -51,6 +58,7 @@ function session_started()
     var sesid = xml.getElementsByTagName("session")[0].childNodes[0].nodeValue;
     document.getElementById("status").innerHTML = "Live";
     session = sesid;
+    setTimeout(ping_session, 50000);
 }
 
 function start_session()
@@ -65,6 +73,30 @@ function start_session()
     //url_surveillence = setInterval(session_check, 200);
 }
 
+function ping_session()
+{
+    if (!session)
+	return;
+    var url = "search.pz2?command=ping&session=" + session;
+    SendXmlHttpObject(xpingSession = GetXmlHttpObject(), url, session_pinged);
+}
+
+function session_pinged()
+{
+    if (xpingSession.readyState != 4)
+	return;
+    var xml = xpingSession.responseXML;
+    var error = xml.getElementsByTagName("error");
+    if (error[0])
+    {
+	var msg = error[0].childNodes[0].nodeValue;
+	alert(msg);
+	location = "?";
+	return;
+    }
+    setTimeout(ping_session, 50000);
+}
+
 function targets_loaded()
 {
     if (xloadTargets.readyState != 4)
-- 
1.7.10.4