diff --git a/app/js/DockerRunner.js b/app/js/DockerRunner.js index 3594b3a..fd7fc31 100644 --- a/app/js/DockerRunner.js +++ b/app/js/DockerRunner.js @@ -306,6 +306,10 @@ module.exports = DockerRunner = { ) } + if (Settings.clsi.docker.runtime) { + options.HostConfig.Runtime = Settings.clsi.docker.runtime + } + return options }, diff --git a/config/settings.defaults.js b/config/settings.defaults.js index d47a673..ba63e24 100644 --- a/config/settings.defaults.js +++ b/config/settings.defaults.js @@ -67,6 +67,7 @@ if (process.env.DOCKER_RUNNER) { module.exports.clsi = { dockerRunner: process.env.DOCKER_RUNNER === 'true', docker: { + runtime: process.env.DOCKER_RUNTIME, image: process.env.TEXLIVE_IMAGE || 'quay.io/sharelatex/texlive-full:2017.1', env: {