1
0
Fork 0

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

This commit is contained in:
Andreas Streichardt 2016-06-14 13:08:24 +02:00
commit 9247f759c2
1 changed files with 2 additions and 2 deletions

View File

@ -471,11 +471,11 @@ function analyzeCoreDumpWindows(instanceInfo) {
function analyzeServerCrash(arangod, options, checkStr)
{
serverCrashed = true;
const storeArangodPath = "/var/tmp/arangod_" + arangod.pid;
const storeArangodPath = arangod.rootDir + "/arangod_" + arangod.pid;
print(RED +
"during: " + checkStr + ": Core dump written; copying arangod to " +
arangod.rootDir + " for later analysis.\n" +
storeArangodPath + " for later analysis.\n" +
"Server shut down with :\n" +
yaml.safeDump(arangod) +
"marking build as crashy.");