diff --git a/js/serial_backend.js b/js/serial_backend.js index 1a05c2d0d6..c6a92d83cb 100644 --- a/js/serial_backend.js +++ b/js/serial_backend.js @@ -1,6 +1,4 @@ var configuration_received = false; -var CLI_active = false; -var CLI_valid = false; $(document).ready(function() { $('div#port-picker a.connect').click(function() { diff --git a/tabs/cli.js b/tabs/cli.js index a58a1c80c7..0b57bf083a 100644 --- a/tabs/cli.js +++ b/tabs/cli.js @@ -1,3 +1,6 @@ +var CLI_active = false; +var CLI_valid = false; + var CliHistory = function () { this.history = []; this.index = 0;