1
0
Fork 0

Fix hotbackup restore example snippet for devel. (#10169)

This commit is contained in:
Max Neunhöffer 2019-10-04 17:15:15 +02:00 committed by GitHub
parent e2c84acfaf
commit 8cd54e79eb
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 10 additions and 6 deletions

View File

@ -53,13 +53,17 @@ are detailed in the returned error document.
var startTime = require("internal").time();
var failureSeen = false;
while (require("internal").time() - startTime < 10) {
var r = internal.arango.GET("/_api/version");
if (r.error === true) {
failureSeen = true;
} else {
if (failureSeen) {
break;
try {
// GET can throw exceptions
var r = internal.arango.GET("/_api/version");
if (r.error === true) {
failureSeen = true;
} else {
if (failureSeen) {
break;
}
}
} catch(err) {
}
require("internal").wait(0.1);
}