From 6c98c7af4a7d3b897459c0c5efb2d1b4cbfbd75e Mon Sep 17 00:00:00 2001
From: Brian Gough <brian.gough@overleaf.com>
Date: Wed, 10 Jun 2020 11:42:07 +0100
Subject: [PATCH] error on missing profile

---
 services/clsi/config/settings.defaults.js | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/services/clsi/config/settings.defaults.js b/services/clsi/config/settings.defaults.js
index 3328afa92d..2f74da0b93 100644
--- a/services/clsi/config/settings.defaults.js
+++ b/services/clsi/config/settings.defaults.js
@@ -87,10 +87,11 @@ if (process.env.DOCKER_RUNNER) {
       JSON.parse(require('fs').readFileSync(seccompProfilePath))
     )
   } catch (error) {
-    console.log(
+    console.error(
       error,
-      `could not load seccom profile from ${seccompProfilePath}`
+      `could not load seccomp profile from ${seccompProfilePath}`
     )
+    process.exit(1)
   }
 
   module.exports.path.synctexBaseDir = () => '/compile'