anchor.diff:      };
     };
   
  -  SocketMonitor.prototype.close = function() {
  +  WebSocketMonitor.prototype.close = function() {
       this.terminal.greenWriteln('Closing WebSocket');
       this.terminal.detach(this.socket);
       this.socket.close(1000, 'User closed the REPL');
  
positive.code:   const kataId = "<%= @kata.id %>";
    const replUrl = () => `${location.hostname}/repler/${kataId}-${sessionId}`;
    const httpUrl = () => `http://${replUrl()}`;
    const socketUrl = () => `ws://${replUrl()}`;
    let sessionId = null;
  
    cd.openReplPage = () => {
  
negative.code:     const terminal = createTerminalIn(element);
      setSessionId();
      createRepl(terminal).then(() => {
        const ws = new WebSocketMonitor(terminal);
        ws.open();
        resumeButton.unbind().click(() => {
          ws.close();
          deleteRepl(terminal);
          closeReplPage();
        });
  