1
0
Fork 0

Merge branch 'devel' of github.com:arangodb/arangodb into devel

This commit is contained in:
Andreas Streichardt 2016-04-05 12:19:10 +02:00
commit d46fba735b
1 changed files with 1 additions and 1 deletions

View File

@ -3898,7 +3898,7 @@ function unitTest(cases, options) {
if (globalStatus && !serverCrashed) {
cleanupDBDirectories(options);
} else {
print("since some tests weren't successfully, not cleaning up: \n" +
print("not cleaning up as some tests weren't successful:\n" +
yaml.safeDump(cleanupDirectories));
}