diff options
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/common-functions.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/common-functions.sh b/bin/common-functions.sh index 7da3f7fb..30094264 100755 --- a/bin/common-functions.sh +++ b/bin/common-functions.sh @@ -4,7 +4,7 @@ # released under the GPLv=2 common_cleanup(){ - echo "Cleaned up $TTT, finished running $0" + echo "$(date) - $0 stopped running as $TTT, which will now be removed." rm -f $TTT } @@ -23,7 +23,7 @@ if [ "${0:0:5}" != "/tmp/" ] ; then # (Running shell scripts fail weirdly when overwritten when running, # this hack makes it possible to overwrite long running scripts # anytime...) - echo "Start running \"$0\" as \"$TTT\" with arguments \"$@\"" + echo "$(date) - start running \"$0\" as \"$TTT\" using \"$@\" as arguments." $TTT "$@" exit $? # cleanup is done automatically via trap |