switch to closure-linter

2020-01-14 14:49:48 -05:00
parent 15a0e838b3
commit 55c800e048
15 changed files with 443 additions and 444 deletions
--- a/config.js
+++ b/config.js
@@ -1,6 +1,6 @@
-var proxy_scheme = "HTTP";
-var proxy_host = "127.0.0.1";
-var proxy_port = "4444";
-var control_host = "127.0.0.1";
-var control_port = "7657";
+var proxy_scheme = 'HTTP';
+var proxy_host = '127.0.0.1';
+var proxy_port = '4444';
+var control_host = '127.0.0.1';
+var control_port = '7657';
 var disable_history = false;