Start Hosted Theia instance if Restart is called before Start

Signed-off-by: Doron Nahari <doron.nahari@sap.com>
eclipse-theia · Nov 20, 2019 · 2bfbe4a · 2bfbe4a
1 parent 39e3cc8
commit 2bfbe4a
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/packages/plugin-dev/src/browser/hosted-plugin-manager-client.ts b/packages/plugin-dev/src/browser/hosted-plugin-manager-client.ts
@@ -248,7 +248,8 @@ export class HostedPluginManagerClient {
             this.stateChanged.fire({ state: HostedInstanceState.FAILED, pluginLocation: this.pluginLocation! });
             this.stop();
         } else {
-            this.messageService.warn('Hosted Plugin instance is not running.');
+            this.messageService.warn('Hosted Plugin instance was not running.');
+            this.start();
         }
     }