From 39d0f506a5fe0a7f3fba0d6df0dcfa1f11eb8ce4 Mon Sep 17 00:00:00 2001
From: Christoph Diehl <cdiehl@mozilla.com>
Date: Tue, 2 May 2017 22:32:03 +0300
Subject: [PATCH] Use eslint-disable-line no-undef for print()

---
 lib/logging/console.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/logging/console.js b/lib/logging/console.js
index 1de6c8e..1971bc6 100644
--- a/lib/logging/console.js
+++ b/lib/logging/console.js
@@ -22,7 +22,7 @@ var logger = (function () { // eslint-disable-line no-unused-vars
       websocket.send(msg)
     }
     if (typeof window === 'undefined') {
-      print(msg)
+      print(msg)  // eslint-disable-line no-undef
     } else if (window.dump) {
       window.dump(msg)
     } else if (window.console && window.console.log) {