From 511a347740b8ba89352c41d75f62a4ac177c56f6 Mon Sep 17 00:00:00 2001
From: Markus Pfeiffer <markus.pfeiffer@st-andrews.ac.uk>
Date: Wed, 19 Sep 2018 17:09:35 +0100
Subject: [PATCH] Don't start a session when loading workspace and --nointeract
 is given

---
 lib/session.g | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/lib/session.g b/lib/session.g
index 7abc3172fc..9dd308da4f 100644
--- a/lib/session.g
+++ b/lib/session.g
@@ -70,7 +70,9 @@ BindGlobal("POST_RESTORE", function()
             f();
         fi;
     od;
-    SESSION();
+    if not GAPInfo.CommandLineOptions.norepl then
+        SESSION();
+    fi;
     PROGRAM_CLEAN_UP();
 end);