Otheerwise we can lose a race, if we somehow keep the browser JS
environment and the Otter game server busy enough that the browser
doesn't manage to empty its api queue.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
("wanted", &gen.to_string())
]).subst(r#"
var done = arguments[0];
- if (gen >= @wanted@) { done(gen); return; }
+ function no_queue() { return !api_queue.length && !api_posting; }
+ if (gen >= @wanted@ && no_queue()) { done(gen); return; }
window.test_update_hook = function() {
window.test_update_hook = function() { };
- done(gen);
+ done(no_queue() ? gen : 0);
};
"#)?
)