TraceServer: Fix case of starting upon stored pid

Before this fix, a warning was always showed to the user upon an already
"running" server, even in the case of a no longer running server.
Meaning, in the case where a pid is still stored despite the
corresponding process(es) not running anymore.

Do an internal reset followed by a start attempt in such a case, to
honor the genuine start command while duly resetting internally.

Contributes to fixing #8.

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

Author: marco-miller

src/trace-server.ts

@@ -74,10 +74,16 @@ export class TraceServer {
         const pid = context?.workspaceState.get(key);
         const stopped = !pid || pid === none;
         const foreigner = await this.isUp();
+
         if (stopped && !foreigner) {
             this.start(context);
-        } else {
+        } else if (foreigner) {
             vscode.window.showWarningMessage(prefix + ' not started as already running.');
+        } else {
+            // Not UP but there is still a pid stored.
+            // Likely because Codium or so exited without one using the stop command prior.
+            context?.workspaceState.update(key, none);
+            this.start(context);
         }
     }