diff options
| author | Sam Wilkins <samwilkins333@gmail.com> | 2020-01-09 18:08:56 -0500 |
|---|---|---|
| committer | Sam Wilkins <samwilkins333@gmail.com> | 2020-01-09 18:08:56 -0500 |
| commit | c809ac1cfddf71d95bdfb99c030e83579dd4e37b (patch) | |
| tree | 5eaa62b9f720ffe9f3839c579618f42fc2634a81 /src/server/DashSession.ts | |
| parent | 540bda7295f6ee7c2eed848598de6f5df74b2723 (diff) | |
unhandled rejection improvements and isSessionEnd flag
Diffstat (limited to 'src/server/DashSession.ts')
| -rw-r--r-- | src/server/DashSession.ts | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/server/DashSession.ts b/src/server/DashSession.ts index a0e00adda..1c70ae1dc 100644 --- a/src/server/DashSession.ts +++ b/src/server/DashSession.ts @@ -63,9 +63,12 @@ export class DashSessionAgent extends Session.AppliedSessionAgent { protected async launchServerWorker() { const worker = Session.ServerWorker.Create(launchServer); // server initialization delegated to worker - worker.addExitHandler(() => { + worker.addExitHandler(reason => { const { _socket } = WebSocket; - _socket && Utils.Emit(_socket, MessageStore.ConnectionTerminated, "Manual"); + if (_socket) { + const message = typeof reason === "boolean" ? (reason ? "exit" : "temporary") : "crash"; + Utils.Emit(_socket, MessageStore.ConnectionTerminated, message); + } }); return worker; } |
