From 659cd4437763fac9bf5740dcdf8ce34ed24edc74 Mon Sep 17 00:00:00 2001
From: Brian Gough <brian.gough@overleaf.com>
Date: Thu, 6 Feb 2020 14:46:30 +0000
Subject: [PATCH] support other runtimes

---
 services/clsi/app/coffee/DockerRunner.coffee  | 4 +++-
 services/clsi/config/settings.defaults.coffee | 1 +
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/services/clsi/app/coffee/DockerRunner.coffee b/services/clsi/app/coffee/DockerRunner.coffee
index 6ea929f249..8b49410e4b 100644
--- a/services/clsi/app/coffee/DockerRunner.coffee
+++ b/services/clsi/app/coffee/DockerRunner.coffee
@@ -149,10 +149,12 @@ module.exports = DockerRunner =
 				"CapDrop": "ALL"
 				"SecurityOpt": ["no-new-privileges"]
 
-
 		if Settings.path?.synctexBinHostPath?
 			options["HostConfig"]["Binds"].push("#{Settings.path.synctexBinHostPath}:/opt/synctex:ro")
 
+		if Settings.clsi.docker.runtime?
+			options["HostConfig"]["Runtime"] = Settings.clsi.docker.runtime
+
 		if Settings.clsi.docker.seccomp_profile?
 			options.HostConfig.SecurityOpt.push "seccomp=#{Settings.clsi.docker.seccomp_profile}"
 
diff --git a/services/clsi/config/settings.defaults.coffee b/services/clsi/config/settings.defaults.coffee
index ad3f04d8bd..60075b78de 100644
--- a/services/clsi/config/settings.defaults.coffee
+++ b/services/clsi/config/settings.defaults.coffee
@@ -50,6 +50,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"] or "quay.io/sharelatex/texlive-full:2017.1"
 			env:
 				HOME: "/tmp"