handle ping

Signed-off-by: Sebastian Malton <sebastian@malton.name>

src/main/shell-session/shell-session.ts

@@ -251,6 +251,9 @@ export abstract class ShellSession {
             case TerminalChannels.RESIZE:
               shellProcess.resize(message.data.width, message.data.height);
               break;
+            case TerminalChannels.PING:
+              logger.silly(`[SHELL-SESSION]: ${this.terminalId} ping!`);
+              break;
             default:
               logger.warn(`[SHELL-SESSION]: unknown or unhandleable message type for ${this.terminalId}`, message);
               break;

src/renderer/api/websocket-api.ts

@@ -31,7 +31,7 @@ interface WebsocketApiParams {
   /**
    * The message for pinging the websocket
    *
-   * @default "{type: \"type\"}"
+   * @default "{type: \"ping\"}"
    */
   pingMessage?: string;