From a0911d92a62b7f04edcd446fe213616273225393 Mon Sep 17 00:00:00 2001 From: Victor Meng Date: Wed, 5 Oct 2022 23:48:26 -0700 Subject: [PATCH] Fix typing --- src/Terminal/JupyterLabAppFactory.ts | 2 +- src/Terminal/index.ts | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/Terminal/JupyterLabAppFactory.ts b/src/Terminal/JupyterLabAppFactory.ts index 9a177a8c9..6d85c9e7b 100644 --- a/src/Terminal/JupyterLabAppFactory.ts +++ b/src/Terminal/JupyterLabAppFactory.ts @@ -46,7 +46,7 @@ export class JupyterLabAppFactory { } } - public async createTerminalApp(serverSettings: ServerConnection.ISettings): Promise { + public async createTerminalApp(serverSettings: ServerConnection.ISettings): Promise { const manager = new TerminalManager({ serverSettings: serverSettings, }); diff --git a/src/Terminal/index.ts b/src/Terminal/index.ts index 145b43d2e..0bef5eef5 100644 --- a/src/Terminal/index.ts +++ b/src/Terminal/index.ts @@ -73,7 +73,7 @@ const closeTab = (tabId: string): void => { }; const main = async (): Promise => { - let session: ITerminalConnection; + let session: ITerminalConnection | undefined; postRobot.on( "props", {