Notify when workspace stops running

Author: code-asher

src/workspaceMonitor.ts

@@ -49,6 +49,7 @@ export class WorkspaceMonitor implements vscode.Disposable {
       try {
         const newWorkspaceData = JSON.parse(event.data) as Workspace
         this.update(newWorkspaceData)
+        this.maybeNotify(newWorkspaceData)
         this.onChange.fire(newWorkspaceData)
       } catch (error) {
         this.notifyError(error)
@@ -65,6 +66,7 @@ export class WorkspaceMonitor implements vscode.Disposable {
     this.updateStatusBarItem.command = "coder.workspace.update"
 
     this.update(workspace) // Set initial state.
+    this.maybeNotify(workspace)
   }
 
   /**
@@ -81,9 +83,13 @@ export class WorkspaceMonitor implements vscode.Disposable {
   private update(workspace: 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) {
@@ -111,6 +117,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()