From bb45b2a4715397d60475a426fe2be53502532464 Mon Sep 17 00:00:00 2001 From: "wayo.cavazos" Date: Thu, 15 Jun 2006 22:37:54 +0000 Subject: [PATCH] Adjust wait time in factor.el --- contrib/factor.el | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/contrib/factor.el b/contrib/factor.el index f281c954c9..58eb0cff83 100644 --- a/contrib/factor.el +++ b/contrib/factor.el @@ -22,7 +22,7 @@ (defun factor-listener () (interactive) (factor-server) - (sleep-for 0 500) + (sleep-for 0 1000) (if (get-buffer "*factor-listener*") (save-excursion (set-buffer "*factor-listener*") @@ -33,7 +33,7 @@ (defun factor-listener-restart () (interactive) (factor-server) - (sleep-for 0 500) + (sleep-for 0 1000) (make-comint-in-buffer "factor-listener" (current-buffer) '("localhost" . 9999)))