From 0e56d13de8cdaacac6d43c65de81c7aa7b27000b Mon Sep 17 00:00:00 2001
From: Pierre-Yves Chibon <pingou@pingoured.fr>
Date: Jun 18 2015 11:04:27 +0000
Subject: Replace the REDIS_EVENTSOURCE by a EVENTSOURCE_SOURCE and use it as source


EVENTSOURCE_SOURCE being the location where the streaming server is
available

---

diff --git a/pagure/templates/issue.html b/pagure/templates/issue.html
index a674602..5b1588b 100644
--- a/pagure/templates/issue.html
+++ b/pagure/templates/issue.html
@@ -328,12 +328,10 @@ $(function() {
   });
 
 });
-{% if config['REDIS_EVENTSOURCE'] %}
+{% if config['EVENTSOURCE_SOURCE'] %}
 var source = null;
 if (!!window.EventSource) {
-  source = new EventSource('{{
-    url_for("stream_issue", username=username,
-            repo=repo.name, issueid=issueid) }}');
+  source = new EventSource('{{ config["EVENTSOURCE_SOURCE"] }}');
 }
 
 window.onbeforeunload = function() {