diff options
Diffstat (limited to 'subprojects/frontend/src/xtext/XtextWebSocketClient.ts')
-rw-r--r-- | subprojects/frontend/src/xtext/XtextWebSocketClient.ts | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/subprojects/frontend/src/xtext/XtextWebSocketClient.ts b/subprojects/frontend/src/xtext/XtextWebSocketClient.ts index cba6f064..a39620cb 100644 --- a/subprojects/frontend/src/xtext/XtextWebSocketClient.ts +++ b/subprojects/frontend/src/xtext/XtextWebSocketClient.ts | |||
@@ -1,4 +1,5 @@ | |||
1 | import { createAtom, makeAutoObservable, observable } from 'mobx'; | 1 | import { createAtom, makeAutoObservable, observable } from 'mobx'; |
2 | import ms from 'ms'; | ||
2 | import { nanoid } from 'nanoid'; | 3 | import { nanoid } from 'nanoid'; |
3 | import { interpret } from 'xstate'; | 4 | import { interpret } from 'xstate'; |
4 | 5 | ||
@@ -18,7 +19,7 @@ const XTEXT_SUBPROTOCOL_V1 = 'tools.refinery.language.web.xtext.v1'; | |||
18 | 19 | ||
19 | // Use a large enough timeout so that a request can complete successfully | 20 | // Use a large enough timeout so that a request can complete successfully |
20 | // even if the browser has throttled the background tab. | 21 | // even if the browser has throttled the background tab. |
21 | const REQUEST_TIMEOUT = 5000; | 22 | const REQUEST_TIMEOUT = ms('5s'); |
22 | 23 | ||
23 | const log = getLogger('xtext.XtextWebSocketClient'); | 24 | const log = getLogger('xtext.XtextWebSocketClient'); |
24 | 25 | ||