From db1fba3ddc428ab5e23605126768fe9d658ff5db Mon Sep 17 00:00:00 2001 From: Soonho Kong Date: Wed, 25 Feb 2015 14:21:23 -0500 Subject: [PATCH] fix(emacs/lean-server.el): lean-server-trace-buffer-name was changed to a function --- src/emacs/lean-server.el | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/emacs/lean-server.el b/src/emacs/lean-server.el index 76b559c28d..7630fd8c9e 100644 --- a/src/emacs/lean-server.el +++ b/src/emacs/lean-server.el @@ -75,8 +75,8 @@ (when lean-debug-mode (when lean-global-server-last-time-sent (let ((time-diff (- (float-time) lean-global-server-last-time-sent))) - (lean-output-to-buffer lean-server-trace-buffer-name - "SLEEP %i\n" + (lean-output-to-buffer (lean-server-trace-buffer-name) + "SLEEP %i\n" `(,(truncate (* 1000 time-diff)))))) (setq lean-global-server-last-time-sent (float-time)) (lean-output-to-buffer (lean-server-trace-buffer-name)