[Improvements] Multiple sessions not end when main SageFs exit (win 11)

[Sorrow-Scarlet]

TLDR

1. Improve sessions process not close when SageFs main close.
2. Improve project deleting detection; Don't keep error in vscode and ask for restart.(I understand it might be session issue, but should not be in different project.)
3. Do we have a better way for syntax error? (currently, it will emit error as soon as I type let, I haven't finish yet...Maybe it is similar to sth like format on save?)

Walkthrough

I was developing like normal day, I found errors when starting vscode with f# project. SageFs showing error telling me one project was not found (I deleted it previously, but it said will try again on next start)

So the next startup did solve the problem. I opened a session by vscode toast.

And when I restarted vscode, I can find 4 SageFs process in my taskmanager...

Log

[hotreload] refresh: sessionId=e0c7f896
[hotreload] got 1 files
[warn] getCompletions: SyntaxError: Unexpected token 'e', "event: dat"... is not valid JSON
[warn] getCompletions: SyntaxError: Unexpected token 'e', "event: dat"... is not valid JSON
[hotreload] refresh: sessionId=e0c7f896
[hotreload] got 1 files
[hotreload] refresh: sessionId=e0c7f896
[hotreload] got 1 files
[warn] getCompletions: SyntaxError: Unexpected token 'e', "event: dat"... is not valid JSON
[warn] getCompletions: SyntaxError: Unexpected token 'e', "event: dat"... is not valid JSON
[warn] getCompletions: SyntaxError: Unexpected token 'e', "event: dat"... is not valid JSON
[warn] getCompletions: SyntaxError: Unexpected token 'e', "event: dat"... is not valid JSON
[warn] getCompletions: SyntaxError: Unexpected token 'e', "event: dat"... is not valid JSON
[warn] getCompletions: SyntaxError: Unexpected token 'e', "event: dat"... is not valid JSON
[warn] getCompletions: SyntaxError: Unexpected token 'e', "event: dat"... is not valid JSON
[warn] getCompletions: SyntaxError: Unexpected token 'e', "event: dat"... is not valid JSON
[warn] getCompletions: SyntaxError: Unexpected token 'e', "event: dat"... is not valid JSON
[warn] getCompletions: SyntaxError: Unexpected token 'e', "event: dat"... is not valid JSON
[hotreload] refresh: sessionId=e0c7f896
[hotreload] got 1 files
[warn] getCompletions: SyntaxError: Unexpected token 'e', "event: dat"... is not valid JSON
[warn] getCompletions: SyntaxError: Unexpected token 'e', "event: dat"... is not valid JSON
[hotreload] refresh: sessionId=e0c7f896
[hotreload] got 1 files
[warn] getCompletions: SyntaxError: Unexpected token 'e', "event: dat"... is not valid JSON
[hotreload] refresh: sessionId=e0c7f896
[hotreload] got 1 files
[warn] getCompletions: SyntaxError: Unexpected token 'e', "event: dat"... is not valid JSON
[warn] getCompletions: SyntaxError: Unexpected token 'e', "event: dat"... is not valid JSON
[warn] getCompletions: SyntaxError: Unexpected token 'e', "event: dat"... is not valid JSON
[warn] getCompletions: SyntaxError: Unexpected token 'e', "event: dat"... is not valid JSON
[warn] getCompletions: SyntaxError: Unexpected token 'e', "event: dat"... is not valid JSON
[warn] getCompletions: SyntaxError: Unexpected token 'e', "event: dat"... is not valid JSON
[warn] getCompletions: SyntaxError: Unexpected token 'e', "event: dat"... is not valid JSON
[warn] getCompletions: SyntaxError: Unexpected token 'e', "event: dat"... is not valid JSON
[hotreload] refresh: sessionId=e0c7f896
[hotreload] got 1 files
[warn] getCompletions: SyntaxError: Unexpected token 'e', "event: dat"... is not valid JSON
[warn] getCompletions: SyntaxError: Unexpected token 'e', "event: dat"... is not valid JSON
[hotreload] refresh: sessionId=e0c7f896
[hotreload] got 1 files
[hotreload] refresh: sessionId=e0c7f896
[hotreload] got 1 files
[hotreload] refresh: sessionId=e0c7f896
[hotreload] got 1 files
[warn] getCompletions: SyntaxError: Unexpected token 'e', "event: dat"... is not valid JSON
[warn] getCompletions: SyntaxError: Unexpected token 'e', "event: dat"... is not valid JSON
[warn] getCompletions: SyntaxError: Unexpected token 'e', "event: dat"... is not valid JSON
[warn] getCompletions: SyntaxError: Unexpected token 'e', "event: dat"... is not valid JSON
[warn] getCompletions: SyntaxError: Unexpected token 'e', "event: dat"... is not valid JSON
[warn] getCompletions: SyntaxError: Unexpected token 'e', "event: dat"... is not valid JSON
[warn] getCompletions: SyntaxError: Unexpected token 'e', "event: dat"... is not valid JSON
[warn] getCompletions: SyntaxError: Unexpected token 'e', "event: dat"... is not valid JSON
[hotreload] refresh: sessionId=e0c7f896
[hotreload] got 1 files
[hotreload] refresh: sessionId=e0c7f896
[hotreload] got 1 files
[hotreload] refresh: sessionId=e0c7f896
[hotreload] got 1 files
[hotreload] refresh: sessionId=e0c7f896
[hotreload] got 1 files
[hotreload] refresh: sessionId=e0c7f896
[hotreload] got 1 files
[warn] getCompletions: SyntaxError: Unexpected token 'e', "event: dat"... is not valid JSON
[warn] getCompletions: SyntaxError: Unexpected token 'e', "event: dat"... is not valid JSON
[hotreload] refresh: sessionId=e0c7f896
[hotreload] got 1 files
[warn] getCompletions: SyntaxError: Unexpected token 'e', "event: dat"... is not valid JSON
[warn] getCompletions: SyntaxError: Unexpected token 'e', "event: dat"... is not valid JSON
[warn] getCompletions: SyntaxError: Unexpected token 'e', "event: dat"... is not valid JSON
[warn] getCompletions: SyntaxError: Unexpected token 'e', "event: dat"... is not valid JSON
[warn] getCompletions: SyntaxError: Unexpected token 'e', "event: dat"... is not valid JSON
[warn] getCompletions: SyntaxError: Unexpected token 'e', "event: dat"... is not valid JSON
[warn] getCompletions: SyntaxError: Unexpected token 'e', "event: dat"... is not valid JSON
[warn] getCompletions: SyntaxError: Unexpected token 'e', "event: dat"... is not valid JSON
[warn] getCompletions: SyntaxError: Unexpected token 'e', "event: dat"... is not valid JSON
[warn] getCompletions: SyntaxError: Unexpected token 'e', "event: dat"... is not valid JSON
[warn] getCompletions: SyntaxError: Unexpected token 'e', "event: dat"... is not valid JSON
[warn] getCompletions: SyntaxError: Unexpected token 'e', "event: dat"... is not valid JSON
[warn] getCompletions: SyntaxError: Unexpected token 'e', "event: dat"... is not valid JSON
[hotreload] refresh: sessionId=e0c7f896
[hotreload] got 1 files
[warn] getCompletions: SyntaxError: Unexpected token 'e', "event: dat"... is not valid JSON
[warn] getCompletions: SyntaxError: Unexpected token 'e', "event: dat"... is not valid JSON
[warn] getCompletions: SyntaxError: Unexpected token 'e', "event: dat"... is not valid JSON
[hotreload] refresh: sessionId=e0c7f896
[hotreload] got 1 files
[hotreload] refresh: sessionId=e0c7f896
[hotreload] got 1 files
[hotreload] refresh: sessionId=e0c7f896
[hotreload] got 1 files
[hotreload] refresh: sessionId=e0c7f896
[hotreload] got 1 files
[hotreload] refresh: sessionId=e0c7f896
[hotreload] got 1 files
[hotreload] refresh: sessionId=e0c7f896
[hotreload] got 1 files
[hotreload] refresh: sessionId=e0c7f896
[hotreload] got 1 files
[warn] getCompletions: SyntaxError: Unexpected token 'e', "event: dat"... is not valid JSON
[warn] getCompletions: SyntaxError: Unexpected token 'e', "event: dat"... is not valid JSON
[warn] getCompletions: SyntaxError: Unexpected token 'e', "event: dat"... is not valid JSON
[warn] getCompletions: SyntaxError: Unexpected token 'e', "event: dat"... is not valid JSON
[warn] getCompletions: SyntaxError: Unexpected token 'e', "event: dat"... is not valid JSON
[warn] getCompletions: SyntaxError: Unexpected token 'e', "event: dat"... is not valid JSON
[hotreload] refresh: sessionId=e0c7f896
[hotreload] got 1 files
[hotreload] refresh: sessionId=e0c7f896
[hotreload] got 1 files
[hotreload] refresh: sessionId=e0c7f896
[hotreload] got 1 files
[hotreload] refresh: sessionId=e0c7f896
[hotreload] got 1 files
[hotreload] refresh: sessionId=e0c7f896
[hotreload] got 1 files
[hotreload] refresh: sessionId=e0c7f896
[hotreload] got 1 files
[hotreload] refresh: sessionId=e0c7f896
[hotreload] got 1 files
[hotreload] refresh: sessionId=e0c7f896
[hotreload] got 1 files
[hotreload] refresh: sessionId=e0c7f896
[hotreload] got 1 files
[hotreload] refresh: sessionId=e0c7f896
[hotreload] got 1 files
[warn] getCompletions: SyntaxError: Unexpected token 'e', "event: dat"... is not valid JSON
[warn] getCompletions: SyntaxError: Unexpected token 'e', "event: dat"... is not valid JSON
[hotreload] refresh: sessionId=e0c7f896
[hotreload] got 1 files
[warn] getCompletions: SyntaxError: Unexpected token 'e', "event: dat"... is not valid JSON
[warn] getCompletions: SyntaxError: Unexpected token 'e', "event: dat"... is not valid JSON
[warn] getCompletions: SyntaxError: Unexpected token 'e', "event: dat"... is not valid JSON
[hotreload] refresh: sessionId=e0c7f896
[hotreload] got 1 files
[hotreload] refresh: sessionId=e0c7f896
[hotreload] got 1 files
[hotreload] refresh: sessionId=e0c7f896
[hotreload] got 1 files
[hotreload] refresh: sessionId=e0c7f896
[hotreload] got 1 files
[warn] getCompletions: SyntaxError: Unexpected token 'e', "event: dat"... is not valid JSON
[warn] getCompletions: SyntaxError: Unexpected token 'e', "event: dat"... is not valid JSON
[warn] getCompletions: SyntaxError: Unexpected token 'e', "event: dat"... is not valid JSON
[warn] getCompletions: SyntaxError: Unexpected token 'e', "event: dat"... is not valid JSON
SSE disconnected — reconnecting...
[SSE] Reconnecting in 2.4s...
SSE disconnected — reconnecting...
[SSE] Reconnecting in 4.1s...
SSE disconnected — reconnecting...
[SSE] Reconnecting in 10.0s...
[Diagnostics SSE] Reconnecting in 2.0s...
[Diagnostics SSE] Reconnecting in 4.9s...
[Diagnostics SSE] Reconnecting in 10.3s...
^C
[SageFs] process exited (code 3221225786)
[Diagnostics SSE] Connecting to http://localhost:37749/diagnostics
[Diagnostics SSE] Reconnecting in 17.6s...
SSE reconnected — refreshing status...
[SSE] Connecting to http://localhost:37749/events
SSE disconnected — reconnecting...
[SSE] Reconnecting in 18.0s...
SSE reconnected — refreshing status...
[SSE] Connecting to http://localhost:37749/events
SSE disconnected — reconnecting...
[SSE] Reconnecting in 30.3s...
[warn] listSessions: AggregateError
[Diagnostics SSE] Connecting to http://localhost:37749/diagnostics
[Diagnostics SSE] Reconnecting in 35.4s...
[warn] listSessions: AggregateError
SSE reconnected — refreshing status...
[SSE] Connecting to http://localhost:37749/events
SSE disconnected — reconnecting...
[SSE] Reconnecting in 36.1s...
[warn] listSessions: AggregateError
[Diagnostics SSE] Connecting to http://localhost:37749/diagnostics
[Diagnostics SSE] Reconnecting in 30.9s...
[Diagnostics SSE] Connecting to http://localhost:37749/diagnostics
[Diagnostics SSE] Reconnecting in 30.7s...
SSE reconnected — refreshing status...
[SSE] Connecting to http://localhost:37749/events
SSE disconnected — reconnecting...
[SSE] Reconnecting in 38.8s...
[warn] listSessions: AggregateError
[warn] listSessions: AggregateError
SSE reconnected — refreshing status...
[SSE] Connecting to http://localhost:37749/events
SSE disconnected — reconnecting...
[SSE] Reconnecting in 32.2s...
[warn] listSessions: AggregateError
[warn] listSessions: AggregateError
[Diagnostics SSE] Connecting to http://localhost:37749/diagnostics
[Diagnostics SSE] Reconnecting in 35.0s...
[Diagnostics SSE] Connecting to http://localhost:37749/diagnostics
[Diagnostics SSE] Reconnecting in 34.6s...
SSE reconnected — refreshing status...
[SSE] Connecting to http://localhost:37749/events
SSE disconnected — reconnecting...
[SSE] Reconnecting in 38.7s...
[warn] listSessions: AggregateError

[Sorrow-Scarlet]

Maybe the session needs to be destroyed after project switch? Or be kept to save jit cost but automatically create new session with no cache for new folder or project.