anchor.diff:        body: JSON.stringify(form.serializeArray()),
         headers: { 'content-type': 'application/json' }
       };
  -    //term.writeln('\033[32mConnecting to REPL\033[0m'); // [1]
  -    term.writeln('Connecting to REPL');
  +    term.writeln(inGreen('Connecting to REPL'));
       console.log('creating repl');
       cd.saveCodeFromSyntaxHighlightEditors();
       return fetch(replURL, requestParams);
     };
   
  -  // [1]
  -  //SyntaxError: "0"-prefixed octal literals and octal escape sequences are deprecated; for octal literals use the "0o" prefix instead
     const replButton = $("#repl-button");
   
     // The SocketMonitor for talking with the REPL on the server.
  
positive.code:       socket.close();
        socket = null;
      }
      destroyRepl()
        .then(() => createRepl(term))
        .then(() => { socket = new SocketMonitor(socketURL, term); })
        .then(() => term.writeln('Ready...'));
  
negative.code:       terminal.detach(that.socket);
        const NGINX_TIMEOUT_CODE = 1006;
        if (event.code === NGINX_TIMEOUT_CODE) {
          that.start(url, terminal); // Restart silently.
        }
      };
  
  