diff options
| author | Erich Eckner <git@eckner.net> | 2017-04-23 12:01:24 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-04-23 12:01:24 +0200 |
| commit | 977b56f34af45e9ae72e0648796a18b8c7482215 (patch) | |
| tree | e8eda90e5e53ff96351bccb6e87544a2272d78d7 /bin | |
| parent | da40f95ec90aab9e47d207ea33ebbc5959893ffc (diff) | |
| download | builder-977b56f34af45e9ae72e0648796a18b8c7482215.tar.xz | |
bin/get-assignment: remove port from lock-files
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/get-assignment | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/get-assignment b/bin/get-assignment index 138d089..f74399d 100755 --- a/bin/get-assignment +++ b/bin/get-assignment @@ -17,7 +17,7 @@ hand_out_assignment() { fi echo "$1 $2 $3" - echo "${SSH_CLIENT}" > "${work_dir}/package-states/$1.$2.$3.locked" + echo "${SSH_CLIENT%% *}" > "${work_dir}/package-states/$1.$2.$3.locked" rm -f "${lock_file}" exit 0 |