1 files changed, 6 insertions, 1 deletions
diff --git a/bin/slave-build-connect b/bin/slave-build-connect
index 497c96f..e773256 100755
--- a/bin/slave-build-connect
+++ b/bin/slave-build-connect
@@ -5,7 +5,12 @@
 
 if [ "${SSH_ORIGINAL_COMMAND%% *}" = "get-assignment" ] || \
   [ "${SSH_ORIGINAL_COMMAND%% *}" = "return-assignment" ]; then
-  slave="$1" /bin/sh -c "${base_dir}/bin/${SSH_ORIGINAL_COMMAND}"
+  export slave="$1"
+  # this is somewhat cumbersome, but we want:
+  #  - no expansion of special shell-chars (*,;,\n,&&,~,$HOME)
+  #  - splitting of arguments on spaces
+  echo "${SSH_ORIGINAL_COMMAND#* }" | \
+    xargs "${base_dir}/bin/${SSH_ORIGINAL_COMMAND%% *}"
 else
   >&2 echo "Invalid command: '${SSH_ORIGINAL_COMMAND%% *}'"
   exit 42