1
0
Fork 0

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

This commit is contained in:
Wilfried Goesgens 2016-02-04 15:12:13 +01:00
commit e68f483177
1 changed files with 1 additions and 0 deletions

View File

@ -3447,6 +3447,7 @@ static void DropDatabaseCoordinator(
break; break;
} }
TRI_ReleaseVocBase(vocbase);
// sleep // sleep
usleep(10000); usleep(10000);
} }