steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Adjust wait time in factor.el

darcs
wayo.cavazos 2006-06-15 22:37:54 +00:00
parent e0b563080d
commit bb45b2a471
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
contrib/factor.el
View File

@ -22,7 +22,7 @@
(defun factor-listener () (defun factor-listener ()
(interactive) (interactive)
(factor-server) (factor-server)
(sleep-for 0 500) (sleep-for 0 1000)
(if (get-buffer "*factor-listener*") (if (get-buffer "*factor-listener*")
(save-excursion (save-excursion
(set-buffer "*factor-listener*") (set-buffer "*factor-listener*")
@ -33,7 +33,7 @@
(defun factor-listener-restart () (defun factor-listener-restart ()
(interactive) (interactive)
(factor-server) (factor-server)
(sleep-for 0 500) (sleep-for 0 1000)
(make-comint-in-buffer (make-comint-in-buffer
"factor-listener" (current-buffer) '("localhost" . 9999))) "factor-listener" (current-buffer) '("localhost" . 9999)))