anchor.diff:      return `${greenCode}${s}${resetCode}`;
     };
   
  -  const destroyRepl = (_terminal) => {
  -    // Request that the REPL be terminated.
  -    // Returns the promise for the DELETE request.
  -    console.log('destroying repl');
  -    //terminal.writeln(inGreen('REPL disconnected'));
  -    return fetch(replUrl, { method: 'DELETE' });
  -  };
  -
     const createRepl = (terminal) => {
       // Request that a REPL be created.
       // Returns the promise for the POST request.
  
positive.code:   //- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
    const createTerminalIn = (container) => {
      const terminal = new Terminal({
        cursorBlink: true, // optionElements.cursorBlink.checked,
        scrollback: 10, // parseInt(optionElements.scrollback.value, 10),
        tabStopWidth: 10 // parseInt(optionElements.tabstopwidth.value, 10)
      });
      Terminal.applyAddon(attach);
      Terminal.applyAddon(fit);
  
negative.code:       terminal.detach(that.socket);
        const NGINX_TIMEOUT_CODE = 1006;
        if (event.code === NGINX_TIMEOUT_CODE) {
          console.log('socket timed out');
          that.start(url, terminal);
        }
      };
  