From 3d13d93cdea8b53274e6382595da14cee1132639 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Mon, 4 Mar 2013 16:18:39 +0100
Subject: [PATCH] no-op just to be able to trace url subscriptions

---
 plugins/static/js/simplelist.js | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/plugins/static/js/simplelist.js b/plugins/static/js/simplelist.js
index b916d11e..7247463f 100644
--- a/plugins/static/js/simplelist.js
+++ b/plugins/static/js/simplelist.js
@@ -25,7 +25,8 @@
             /* Plugin initialization */
 
             /* Subscribe to query updates */
-            jQuery.subscribe('/results/' + options.query_uuid + '/changed', {instance: $this}, update_list);
+	     var url='/results/' + options.query_uuid + '/changed';
+	    jQuery.subscribe(url, {instance: $this}, update_list);
 
             /* End of plugin initialization */
 
-- 
2.43.0