Function onDisconnect

src/server/web/public/terminal.js:8884–8891

()

\x1B[33m[session ended \u2014 exit code ${msg.exitCode ?? 0}]\x1B[0m`
      );
      break;
  }
}
function onDisconnect() {
  connected = false;
  ws = null;
  setStatus("disconnected");
  stopPing();
  showOverlay(reconnectOverlay);
  scheduleReconnect();
}