Merge branch 'develop' into 'develop'

Add zero-padding to the time printed out by DRIBBLE

See merge request !47
This commit is contained in:
Daniel Kochmański 2017-01-30 07:03:39 +00:00
commit a318f75fd8

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