From a486f7e481cdb53962d2538f1748a5b55e4ebc44 Mon Sep 17 00:00:00 2001 From: Jakob Ackermann Date: Tue, 28 May 2024 13:09:51 +0200 Subject: [PATCH] Merge pull request #18537 from overleaf/jpa-cleanup-synctex [clsi] cleanup unused SYNCTEX_BIN_HOST_PATH GitOrigin-RevId: 062aed9dceb1388fab0e59770aded5a440eaa3bd --- services/clsi/config/settings.defaults.js | 2 -- 1 file changed, 2 deletions(-) diff --git a/services/clsi/config/settings.defaults.js b/services/clsi/config/settings.defaults.js index 5af38af9c4..eaf069867d 100644 --- a/services/clsi/config/settings.defaults.js +++ b/services/clsi/config/settings.defaults.js @@ -159,6 +159,4 @@ if (process.env.DOCKER_RUNNER) { module.exports.path.synctexBaseDir = () => '/compile' module.exports.path.sandboxedCompilesHostDir = process.env.COMPILES_HOST_DIR - - module.exports.path.synctexBinHostPath = process.env.SYNCTEX_BIN_HOST_PATH }