From 9c82a9ba84174f201e2c96b98c53d680efad5c01 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Rapha=C3=ABl=20Jakse?= <raphael.jakse@univ-grenoble-alpes.fr>
Date: Thu, 2 Apr 2020 19:08:18 +0200
Subject: [PATCH] Reduce the polling delay

---
 trivabble.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/trivabble.js b/trivabble.js
index 73b0e6e..048e344 100644
--- a/trivabble.js
+++ b/trivabble.js
@@ -25,7 +25,7 @@
 (function () {
     "use strict";
 
-    var POLLING_DELAY = 5000;
+    var POLLING_DELAY = 2000;
 
     var _ = (window.libD && libD.l10n) ? libD.l10n() : function (s) { return s; };
 
-- 
2.30.2