Merge branch 'multithread_dbdisk' into 'devel'

bug fix for output name on db_disk_multithread.

See merge request !12
4 jobs for devel in 9 minutes and 59 seconds (queued for 1 second)
Status Name Job ID Coverage
  Build
passed build_cuda #1313940

00:03:50

 
  Test
failed make_doc #1313942

00:00:12

passed run_tests #1313941

00:06:08

 
  Deploy
skipped pages #1313943
 
Name Stage Failure
failed
make_doc Test

Another git process seems to be running in this repository, e.g.
an editor opened by 'git commit'. Please make sure all processes
are terminated then try again. If it still fails, a git process
may have crashed in this repository earlier:
remove the file manually to continue.
Unable to checkout '2fe3bd994b3189899d93f1d5a881e725e046fdc2' in submodule path 'thirdparty/googletest'
Cleaning up file based variables
ERROR: Job failed: exit code 1