support other runtimes

2020-02-06 14:46:30 +00:00
parent 812c4e661f
commit ec628a4e59
2 changed files with 4 additions and 1 deletions
--- a/app/coffee/DockerRunner.coffee
+++ b/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}"