From c21bf3f3d3aeb4a2d4130886e644e7e69d071249 Mon Sep 17 00:00:00 2001
From: Ralf Teusner <ralf.teusner@hpi.de>
Date: Fri, 17 Jun 2016 19:24:04 +0200
Subject: [PATCH] Adapt Modernizr requires.. We no longer need eventsource

---
 app/assets/javascripts/editor.js.erb | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/app/assets/javascripts/editor.js.erb b/app/assets/javascripts/editor.js.erb
index f9ab5b94..c00d7350 100644
--- a/app/assets/javascripts/editor.js.erb
+++ b/app/assets/javascripts/editor.js.erb
@@ -538,8 +538,8 @@ $(function() {
   };
 
   var isBrowserSupported = function() {
-    // eventsource tests for server send events (used for scoring), websockets is used for run
-    return Modernizr.eventsource && Modernizr.websockets;
+    //  websockets is used for run, score and test
+    return Modernizr.websockets;
   };
 
   var populatePanel = function(panel, result, index) {