diff -r df671fa2562a -r 7e5e6c47c0b5 lib/scripts/showtime
--- a/lib/scripts/showtime	Fri Sep 01 17:50:36 2000 +0200
+++ b/lib/scripts/showtime	Fri Sep 01 17:54:58 2000 +0200
@@ -1,16 +1,18 @@
 #!/bin/bash
 #
 # $Id$
+# Author: Markus Wenzel, TU Muenchen
+# License: GPL (GNU GENERAL PUBLIC LICENSE)
 #
 # showtime - print time.
 
-TIME=$1
+TIME="$1"
 
 SECS=$[ $TIME % 60 ]
-[ $SECS -lt 10 ] && SECS=0$SECS
+[ $SECS -lt 10 ] && SECS="0$SECS"
 
 MINUTES=$[ ($TIME / 60) % 60 ]
-[ $MINUTES -lt 10 ] && MINUTES=0$MINUTES
+[ $MINUTES -lt 10 ] && MINUTES="0$MINUTES"
 
 HOURS=$[ $TIME / 3600 ]