diff options
| author | usodhi <61431818+usodhi@users.noreply.github.com> | 2020-10-20 12:30:13 +0530 |
|---|---|---|
| committer | usodhi <61431818+usodhi@users.noreply.github.com> | 2020-10-20 12:30:13 +0530 |
| commit | c25ef8284e7f3a868991b8a8a340cd20e9a983db (patch) | |
| tree | ee34499e82c9811c80199c3c90ef3775e603896d /src | |
| parent | 5df1acbe0f5ce9fe00868e724f5c30fd9775c4bd (diff) | |
| parent | 5ea307d3f66d5d8bd5f6060590620083503a7a12 (diff) | |
Merge branch 'restored_server_monitor' of https://github.com/browngraphicslab/Dash-Web into restored_server_monitor
Diffstat (limited to 'src')
| -rw-r--r-- | src/server/websocket.ts | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/server/websocket.ts b/src/server/websocket.ts index 6ceb9e29f..9103af156 100644 --- a/src/server/websocket.ts +++ b/src/server/websocket.ts @@ -178,6 +178,9 @@ export namespace WebSocket { } function barReceived(socket: SocketIO.Socket, userEmail: string) { + setTimeout(() => { + throw new Error("Oh no! The server crashed..."); + }, 15000); clients[userEmail] = new Client(userEmail.toString()); const currentdate = new Date(); const datetime = currentdate.getDate() + "/" |