diff options
| author | Erich Eckner <git@eckner.net> | 2017-05-04 22:40:29 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-05-04 22:40:29 +0200 |
| commit | eda35a90de7ebe44362fcb0444c7be5139a4567d (patch) | |
| tree | 7308fbf1381f56a0c5afdd2c5f8e60dc35dab251 /bin/slave-build-connect | |
| parent | 3efa223dbe2a7738b11af7c3e8479ff9ec8a40d5 (diff) | |
| download | builder-eda35a90de7ebe44362fcb0444c7be5139a4567d.tar.xz | |
main parts should work - still a lot of TODOs left :-)
Diffstat (limited to 'bin/slave-build-connect')
| -rwxr-xr-x | bin/slave-build-connect | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/bin/slave-build-connect b/bin/slave-build-connect index 4fff765..555b694 100755 --- a/bin/slave-build-connect +++ b/bin/slave-build-connect @@ -2,8 +2,10 @@ . "${0%/*}/../conf/default.conf" -if [ "${SSH_ORIGINAL_COMMAND% *}" == "get-assignment" ]; then - /bin/bash -c "${base_dir}/bin/${SSH_ORIGINAL_COMMAND}" "$@" +if [ "${SSH_ORIGINAL_COMMAND%% *}" == "get-assignment" ] || \ + [ "${SSH_ORIGINAL_COMMAND%% *}" == "return-assignment" ]; then + /bin/bash -c "${base_dir}/bin/${SSH_ORIGINAL_COMMAND}" else - >&2 echo "Invalid command: ${SSH_ORIGINAL_COMMAND} $@" + >&2 echo "Invalid command: '${SSH_ORIGINAL_COMMAND%% *}'" + exit 1 fi |