فهرست منبع

add sandboxed compiles sibling containers

Shane Kilkelly 9 سال پیش
والد
کامیت
eac77291f5
1فایلهای تغییر یافته به همراه6 افزوده شده و 0 حذف شده
  1. 6 0
      settings.coffee

+ 6 - 0
settings.coffee

@@ -611,6 +611,12 @@ if process.env["SANDBOXED_COMPILES"] == "true"
 	if !settings.path?
 	if !settings.path?
 		settings.path = {}
 		settings.path = {}
 	settings.path.synctexBaseDir = () -> "/compile"
 	settings.path.synctexBaseDir = () -> "/compile"
+	if process.env['SANDBOXED_COMPILES_SIBLING_CONTAINERS']  == 'true'
+		console.log("Using sibling containers for sandoxed compiles")
+		if process.env['SANDBOXED_COMPILES_HOST_DIR']
+			settings.path.sandboxedCompilesHostDir = process.env['SANDBOXED_COMPILES_HOST_DIR']
+		else
+			console.error('Sibling containers, but SANDBOXED_COMPILES_HOST_DIR not set')
 
 
 
 
 # Templates
 # Templates