diff options
| author | rubenwardy <rw@rubenwardy.com> | 2018-05-14 01:20:02 +0100 |
|---|---|---|
| committer | rubenwardy <rw@rubenwardy.com> | 2018-05-14 01:20:02 +0100 |
| commit | e6a3836aab3e16dd2201136d0112d92f0b3356d6 (patch) | |
| tree | 68dbf52c63588304a260ff6fc0911604d23856dd /app/static/polltask.js | |
| parent | 73fa5d11866e1ab36463c3a773b8ca0d3671a709 (diff) | |
| download | cheatdb-e6a3836aab3e16dd2201136d0112d92f0b3356d6.tar.xz | |
Hide all non-TaskError exceptions from users
Diffstat (limited to 'app/static/polltask.js')
| -rw-r--r-- | app/static/polltask.js | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/app/static/polltask.js b/app/static/polltask.js index bc9d802..8687665 100644 --- a/app/static/polltask.js +++ b/app/static/polltask.js @@ -32,6 +32,8 @@ function pollTask(poll_url, disableTimeout) { if (res.status == "SUCCESS") { console.log("Got result") resolve(res.result) + } else if (res.status == "FAILURE" || res.status == "REVOKED") { + reject() } else { retry() } |