From 54d1cf7eeb60d3f5d32a1f8d20e397fcb3d6b1b0 Mon Sep 17 00:00:00 2001 From: Brian Gough Date: Tue, 9 Jun 2020 11:22:28 +0100 Subject: [PATCH] add missing setting for optimiseInDocker --- services/clsi/config/settings.defaults.js | 1 + 1 file changed, 1 insertion(+) diff --git a/services/clsi/config/settings.defaults.js b/services/clsi/config/settings.defaults.js index 51cb624862..d051cea8f8 100644 --- a/services/clsi/config/settings.defaults.js +++ b/services/clsi/config/settings.defaults.js @@ -76,6 +76,7 @@ if (process.env.DOCKER_RUNNER) { socketPath: '/var/run/docker.sock', user: process.env.TEXLIVE_IMAGE_USER || 'tex' }, + optimiseInDocker: true, expireProjectAfterIdleMs: 24 * 60 * 60 * 1000, checkProjectsIntervalMs: 10 * 60 * 1000 }