Notify when workspace stops running

Author: code-asher

src/workspaceMonitor.ts

@@ -51,6 +51,7 @@ export class WorkspaceMonitor implements vscode.Disposable {
         const newWorkspaceData = JSON.parse(event.data) as Workspace
         if (JSON.stringify(this.lastData) !== JSON.stringify(newWorkspaceData)) {
           this.update(newWorkspaceData)
+          this.maybeNotify(newWorkspaceData)
           this.onChange.fire(newWorkspaceData)
         }
       } catch (error) {
@@ -85,9 +86,13 @@ export class WorkspaceMonitor implements vscode.Disposable {
     this.lastData = workspace
     this.updateContext(workspace)
     this.updateStatusBar(workspace)
+  }
+
+  private maybeNotify(workspace: Workspace) {
     this.maybeNotifyOutdated(workspace)
     this.maybeNotifyAutostop(workspace)
     this.maybeNotifyDeletion(workspace)
+    this.maybeNotifyNotRunning(workspace)
   }
 
   private maybeNotifyAutostop(workspace: Workspace) {
@@ -115,6 +120,22 @@ export class WorkspaceMonitor implements vscode.Disposable {
     }
   }
 
+  private maybeNotifyNotRunning(workspace: Workspace) {
+    if (workspace.latest_build.status !== "running") {
+      const action = vscode.window.showInformationMessage(
+        "Your workspace is no longer running!",
+        {
+          detail: "Reloading the window to reconnect.",
+        },
+        "Reload Window",
+      )
+      if (!action) {
+        return
+      }
+      vscode.commands.executeCommand("workbench.action.reloadWindow")
+    }
+  }
+
   private isImpending(target: string, notifyTime: number): boolean {
     const nowTime = new Date().getTime()
     const targetTime = new Date(target).getTime()