Adjust wait time in factor.el

diff --git a/contrib/factor.el b/contrib/factor.el
index f281c954c92f603218d364dbe2e8b4ca69156f5d..58eb0cff838df60f9578fe35987cb4a5f1a29ea9 100644 (file)
--- 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)))