diff options
| author | Teddy Wing | 2021-02-14 19:52:32 +0100 |
|---|---|---|
| committer | Teddy Wing | 2021-02-14 19:52:32 +0100 |
| commit | 94265081b0efdd13ab480032547d2ac1f76daf83 (patch) | |
| tree | 315922c0bfefc1cdb24bbcae953ddef2a21d8fc0 /extension/background.js | |
| parent | 5baf8d91fc8450cc5e9639fab25a01c432986b7b (diff) | |
| download | extreload-94265081b0efdd13ab480032547d2ac1f76daf83.tar.bz2 | |
Timeout after five seconds
Set a five second timeout to ensure we don't block endlessly if we send
a WebSocket message and don't receive a response in a reasonable amount
of time.
Chose five seconds arbitrarily, but that seems like more than enough
time to do our work. If it takes longer, something else is probably
wrong.
Diffstat (limited to 'extension/background.js')
0 files changed, 0 insertions, 0 deletions