diff options
author | rubenwardy <rw@rubenwardy.com> | 2018-05-11 15:29:26 +0100 |
---|---|---|
committer | rubenwardy <rw@rubenwardy.com> | 2018-05-11 15:29:26 +0100 |
commit | 510bf50ff2fb29817fc754d6793e506e3414bc6b (patch) | |
tree | d4dc5c04d9bcf793593d7091607b978c1950832a /app/static/package_create.js | |
parent | 6d7b810270b21575dca54eb36f371969b976bafd (diff) | |
download | cheatdb-510bf50ff2fb29817fc754d6793e506e3414bc6b.tar.xz |
Remove meta refresh on task page, use JS to poll
Diffstat (limited to 'app/static/package_create.js')
-rw-r--r-- | app/static/package_create.js | 49 |
1 files changed, 0 insertions, 49 deletions
diff --git a/app/static/package_create.js b/app/static/package_create.js index 927273f..6568550 100644 --- a/app/static/package_create.js +++ b/app/static/package_create.js @@ -6,55 +6,6 @@ $(function() { $(".pkg_meta").show() } - function getJSON(url, method) { - return new Promise(function(resolve, reject) { - fetch(new Request(url, { - method: method || "get", - credentials: "same-origin", - headers: { - "Accept": "application/json", - }, - })).then(function(response) { - response.text().then(function(txt) { - resolve(JSON.parse(txt)) - }).catch(reject) - }).catch(reject) - }) - } - - function performTask(url) { - return new Promise(function(resolve, reject) { - getJSON(url, "post").then(function(startResult) { - console.log(startResult) - if (typeof startResult.poll_url == "string") { - var tries = 0; - function retry() { - tries++; - if (tries > 10) { - reject("timeout") - } else { - console.log("Polling task in " + (tries*100) + "ms") - setTimeout(step, tries*100) - } - } - function step() { - getJSON(startResult.poll_url).then(function(res) { - if (res.status == "SUCCESS") { - console.log("Got result") - resolve(res.result) - } else { - retry() - } - }).catch(retry) - } - retry() - } else { - reject("Start task didn't return string!") - } - }).catch(reject) - }) - } - function repoIsSupported(url) { try { return URI(url).hostname() == "github.com" |