--- 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 ]