TraceServer: Check server status if survived error

There are possible cases where the server process(es) was successfully
tree-killed despite timing out or receiving an error. In error cases,
simply check if server is 'UP' or otherwise down, trying to update the
status bar accordingly. Anyway, the start/stop commands should keep
working as expected beyond that error event no matter what.

And no matter the error case or scenario, always show the related
warning to the user, alongside trying to update that status bar item.

Contributes to fixing #8.

Signed-off-by: Marco Miller <marco.miller@ericsson.com>

Author: marco-miller

src/trace-server.ts

@@ -169,9 +169,17 @@ export class TraceServer {
         return health.isOk() && status === 'UP';
     }
 
-    private showError(message: string) {
+    private async showError(message: string) {
         console.error(message);
         vscode.window.showErrorMessage(message);
+        const disclaimer = ' running, despite this error.';
+        const up = await this.isUp();
+        if (up) {
+            vscode.window.showWarningMessage(prefix + ' is still' + disclaimer);
+        } else {
+            vscode.window.showWarningMessage(prefix + ' is not' + disclaimer);
+        }
+        this.setStatusIfAvailable(up);
     }
 
     private showStatus(started: boolean) {