|
@@ -107,6 +107,7 @@ module.exports = DockerRunner =
|
|
|
if exitCode is 1 # exit status from chktex
|
|
if exitCode is 1 # exit status from chktex
|
|
|
err = DockerRunner.ERR_EXITED
|
|
err = DockerRunner.ERR_EXITED
|
|
|
err.code = exitCode
|
|
err.code = exitCode
|
|
|
|
|
+ logger.err err:err, exitCode:exitCode, options:options, "docker container has exited"
|
|
|
return callback(err)
|
|
return callback(err)
|
|
|
containerReturned = true
|
|
containerReturned = true
|
|
|
callbackIfFinished()
|
|
callbackIfFinished()
|