diff options
| author | Erich Eckner <git@eckner.net> | 2017-11-25 16:26:16 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-11-25 16:26:16 +0100 |
| commit | ed892e8f4933fa448f0296db2965e40652c9199a (patch) | |
| tree | c5a11ef41389fe266e81a9ba219a3e626fa7745a | |
| parent | 2243291ce55405ed28b6ece1e905aef4a768a840 (diff) | |
| download | builder-ed892e8f4933fa448f0296db2965e40652c9199a.tar.xz | |
bin/slave-build-connect: add date/time to ssh log
| -rwxr-xr-x | bin/slave-build-connect | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/slave-build-connect b/bin/slave-build-connect index ff8beac..8a4b96c 100755 --- a/bin/slave-build-connect +++ b/bin/slave-build-connect @@ -15,7 +15,7 @@ if [ "${SSH_ORIGINAL_COMMAND%% *}" = "get-assignment" ] || \ fi - printf '%s %s' "$1" "${SSH_ORIGINAL_COMMAND}" >> \ + printf '%s %s %s' "$(date '+%F %T')" "$1" "${SSH_ORIGINAL_COMMAND}" >> \ "${work_dir}/ssh-log" slave="$1" /bin/sh -c "${base_dir}/bin/${SSH_ORIGINAL_COMMAND}" |