Add zero-padding to the time printed out by DRIBBLE

Now the time will print like "02:03:08" instead of like "2:3:8"
This commit is contained in:
Kris Katterjohn 2017-01-29 21:04:34 -06:00
parent 9e944557de
commit 17f1172e59

View file

@ -233,7 +233,7 @@ is not given, ends the recording."
*dribble-closure* nil))))
(multiple-value-bind (sec min hour day month year)
(get-decoded-time)
(format dribble-stream "~&Starts dribbling to ~A (~d/~d/~d, ~d:~d:~d)."
(format dribble-stream "~&Starts dribbling to ~A (~d/~d/~d, ~2,'0d:~2,'0d:~2,'0d)."
namestring year month day hour min sec)
(setq *standard-input* dribble-stream
*standard-output* dribble-stream