From 17f1172e590a3e415102e7caa2fd121e3c1f69fc Mon Sep 17 00:00:00 2001 From: Kris Katterjohn Date: Sun, 29 Jan 2017 21:04:34 -0600 Subject: [PATCH] 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" --- src/lsp/iolib.lsp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/lsp/iolib.lsp b/src/lsp/iolib.lsp index 0951970bd..1ea56d82e 100644 --- a/src/lsp/iolib.lsp +++ b/src/lsp/iolib.lsp @@ -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