deactivation du jsdump

diff --git a/app_v3/chrome/content/js/system.js b/app_v3/chrome/content/js/system.js
index 9cca41a..dc9b79d 100644 (file)
--- 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");