diff options
| author | tamaina <tamaina@hotmail.co.jp> | 2020-02-11 22:57:09 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-02-11 22:57:09 +0900 |
| commit | 10a7369fecf852546c93e10936dacb3ef99e91fd (patch) | |
| tree | 6cfd7898bca003ebbcf89729fe57299037196a3c /src/client/scripts | |
| parent | 12.7.1 (diff) | |
| download | sharkey-10a7369fecf852546c93e10936dacb3ef99e91fd.tar.gz sharkey-10a7369fecf852546c93e10936dacb3ef99e91fd.tar.bz2 sharkey-10a7369fecf852546c93e10936dacb3ef99e91fd.zip | |
サーバーから切断されましたのダイアログは時間をおいて表示するように (#5916)
* timeout disconnect dialog
* 70ms
* 150ms
Diffstat (limited to 'src/client/scripts')
| -rw-r--r-- | src/client/scripts/stream.ts | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/client/scripts/stream.ts b/src/client/scripts/stream.ts index 7f0e1280b6..18bb7c13df 100644 --- a/src/client/scripts/stream.ts +++ b/src/client/scripts/stream.ts @@ -9,7 +9,7 @@ import MiOS from '../mios'; */ export default class Stream extends EventEmitter { private stream: ReconnectingWebsocket; - public state: string; + public state: 'initializing' | 'reconnecting' | 'connected'; private sharedConnectionPools: Pool[] = []; private sharedConnections: SharedConnection[] = []; private nonSharedConnections: NonSharedConnection[] = []; |