random-mirrors/cosmos-explorer
1
0
Fork 0
mirror of https://github.com/Azure/cosmos-explorer.git synced 2025-12-21 18:01:39 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix typing

Browse Source
This commit is contained in:
Victor Meng
2022-10-05 23:48:26 -07:00
parent 3b790ed3e2
commit a0911d92a6
2 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/Terminal/JupyterLabAppFactory.ts
View File

@@ -46,7 +46,7 @@ export class JupyterLabAppFactory {
} }
} }
public async createTerminalApp(serverSettings: ServerConnection.ISettings): Promise<ITerminalConnection> { public async createTerminalApp(serverSettings: ServerConnection.ISettings): Promise<ITerminalConnection | undefined> {
const manager = new TerminalManager({ const manager = new TerminalManager({
serverSettings: serverSettings, serverSettings: serverSettings,
}); });

2
src/Terminal/index.ts
View File

@@ -73,7 +73,7 @@ const closeTab = (tabId: string): void => {
}; };
const main = async (): Promise<void> => { const main = async (): Promise<void> => {
let session: ITerminalConnection; let session: ITerminalConnection | undefined;
postRobot.on( postRobot.on(
"props", "props",
{ {