From 50d502b8791fcd04f91f860966b84bfc79de2b90 Mon Sep 17 00:00:00 2001
From: Kilian Saffran <ksaffran@dks.lu>
Date: Mon, 8 Oct 2018 14:06:12 +0200
Subject: [PATCH] deactivation du jsdump

---
 app_v3/chrome/content/js/system.js | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/app_v3/chrome/content/js/system.js b/app_v3/chrome/content/js/system.js
index 9cca41a..dc9b79d 100644
--- a/app_v3/chrome/content/js/system.js
+++ b/app_v3/chrome/content/js/system.js
@@ -1,9 +1,9 @@
 //Source-code licensed under EUPL v1.1 ( Copyright 2016 By DKS s.à r.l. - Kilian Saffran - Luxembourg ) 
-function jsdump(str) {
-  Components.classes['@mozilla.org/consoleservice;1']
-            .getService(Components.interfaces.nsIConsoleService)
-            .logStringMessage(str);
-}
+// function jsdump(str) {
+//   Components.classes['@mozilla.org/consoleservice;1']
+//             .getService(Components.interfaces.nsIConsoleService)
+//             .logStringMessage(str);
+// }
 
 Components.utils["import"]("resource://gre/modules/FileUtils.jsm");
 Components.utils["import"]("resource://gre/modules/Services.jsm");
-- 
2.39.5