From 8da29e602499d24de339088963b23de28eb0e86e Mon Sep 17 00:00:00 2001 From: Brian Gough Date: Fri, 29 Jul 2016 14:54:24 +0100 Subject: [PATCH] provide setting to override child_process.execFile for synctex --- app/coffee/CompileManager.coffee | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/app/coffee/CompileManager.coffee b/app/coffee/CompileManager.coffee index 87e8734..16c3647 100644 --- a/app/coffee/CompileManager.coffee +++ b/app/coffee/CompileManager.coffee @@ -174,7 +174,8 @@ module.exports = CompileManager = _runSynctex: (args, callback = (error, stdout) ->) -> bin_path = Path.resolve(__dirname + "/../../bin/synctex") seconds = 1000 - child_process.execFile bin_path, args, timeout: 10 * seconds, (error, stdout, stderr) -> + synctex = Settings.clsi?.synctex?.command?(__dirname, child_process) || child_process + synctex.execFile bin_path, args, timeout: 10 * seconds, (error, stdout, stderr) -> if error? logger.err err:error, args:args, "error running synctex" return callback(error)