From 48eb7129a76ab689e85b1c0a6dc20a650724ef77 Mon Sep 17 00:00:00 2001 From: Henry Oswald Date: Fri, 16 Mar 2018 16:22:39 +0000 Subject: [PATCH] add synctex back in --- services/clsi/app/coffee/DockerRunner.coffee | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/services/clsi/app/coffee/DockerRunner.coffee b/services/clsi/app/coffee/DockerRunner.coffee index 3ee7f293de..f14b5c6497 100644 --- a/services/clsi/app/coffee/DockerRunner.coffee +++ b/services/clsi/app/coffee/DockerRunner.coffee @@ -108,8 +108,8 @@ module.exports = DockerRunner = _getContainerOptions: (command, image, volumes, timeout, environment) -> timeoutInSeconds = timeout / 1000 - # if Settings.path?.synctexBinHostPath? - # volumes[Settings.path.synctexBinHostPath] = "/opt/synctex:ro" + if Settings.path?.synctexBinHostPath? + volumes[Settings.path.synctexBinHostPath] = "/opt/synctex:ro" dockerVolumes = {} for hostVol, dockerVol of volumes