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", {