diff options
author | Paweł Redman <pawel.redman@gmail.com> | 2017-12-26 20:25:33 +0000 |
---|---|---|
committer | Paweł Redman <pawel.redman@gmail.com> | 2017-12-26 20:25:33 +0000 |
commit | 4271b89490e64d1bf775b8be62b7c9efbb4d0fb7 (patch) | |
tree | fbcfb0cfcc83e22db21b7bdc5e67b471a492dc96 | |
parent | 1258693c35886fd819c7b908373b16bf624bb622 (diff) |
Remove a line left over by a previous commit.
-rwxr-xr-x | run-instance.sh | 1 |
1 files changed, 0 insertions, 1 deletions
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" \ |