1
0
Fork 0
mirror of https://github.com/mozilla/pdf.js.git synced 2025-04-19 22:58:07 +02:00

Merge pull request #1479 from arturadib/fix-driver

Fixing driver.js for Windows bot
This commit is contained in:
Andreas Gal 2012-04-03 17:17:29 -07:00
commit 921c1e82a3

View file

@ -266,6 +266,9 @@ function sendTaskResult(snapshot, task, failure) {
r.onreadystatechange = function sendTaskResultOnreadystatechange(e) {
if (r.readyState == 4) {
inFlightRequests--;
// Retry until successful
if (r.status !== 200)
sendTaskResult(snapshot, task, failure);
}
};
document.getElementById('inFlightCount').innerHTML = inFlightRequests++;