$("#send_txt").val();
              if(event.keyCode == 9){
                  // Tab
                  if(typedvalue.startsWith(".")){
                    executeCommand(".ls "+typedvalue.substr(1));
                    event.preventDefault();
                  }
              }
          });
          $("#send_txt").focus();
      };

      function connect()
      {
          var wsHost;
          if (window.location.protocol != 'https:') {
             wsHost = "ws://"+window.location.host+"/ws";
       