From 4271b89490e64d1bf775b8be62b7c9efbb4d0fb7 Mon Sep 17 00:00:00 2001
From: Paweł Redman <pawel.redman@gmail.com>
Date: Tue, 26 Dec 2017 20:25:33 +0000
Subject: Remove a line left over by a previous commit.

---
 run-instance.sh | 1 -
 1 file changed, 1 deletion(-)

diff --git a/run-instance.sh b/run-instance.sh
index 74fc883..2776ba0 100755
--- a/run-instance.sh
+++ b/run-instance.sh
@@ -84,7 +84,6 @@ cat "$CONFIG_COMMON" "$CONFIG_INST" > "$HOME/$FS_GAME/autogen_server.cfg" \
 # cd to HOME (that's where cores will appear) and start the server.
 cd "$HOME" || error "cannot chdir to %s\n" "$HOME"
 "$GDB_WRAPPER" "$TREMDED" \
-	+exec "$CONFIG_LOCAL_COMMON" \
 	+set fs_basepath "$COMMON" \
 	+set fs_homepath "$HOME" \
 	+set fs_game "$FS_GAME" \
-- 
cgit