1
0
Fork 0

Add the PID to the valgrind XML name

This commit is contained in:
Willi Goesgens 2014-09-29 09:52:05 +02:00
parent bea60cf73b
commit c00c86229b
1 changed files with 1 additions and 1 deletions

View File

@ -223,7 +223,7 @@ function startInstance (protocol, options, addArgs, testname) {
if (typeof(options.valgrind) === 'string') {
var run = fs.join("bin","arangod");
var valgrindopts = options.valgrindargs.concat(
["--xml-file="+options.valgrindXmlFileBase + '_' + testname + '.xml']);
["--xml-file="+options.valgrindXmlFileBase + '_' + testname + '%p.xml']);
var newargs=valgrindopts.concat([run]).concat(args);
var cmdline = options.valgrind;
instanceInfo.pid = executeExternal(cmdline, newargs);