* Disposes all server processes and resources. * Called when the extension is deactivated.
()
| 184 | * Called when the extension is deactivated. |
| 185 | */ |
| 186 | dispose(): Promise<void>; |
| 187 | } |
| 188 | |
| 189 | export interface DeepnoteServerInfo extends RuntimeCoreServerInfo { |
no outgoing calls
no test coverage detected