diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2004-03-30 12:08:29 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2004-03-30 12:08:29 +0000 |
| commit | 33028a27c20d47a6de7c5d53c0ba033b18833260 (patch) | |
| tree | 6fd84559bb5c997198630fad6a8ff92829645c78 /generic | |
| parent | 22180c201854dbbd66b2121c929b254dd8528ee6 (diff) | |
Adjust proof-shell-wait to use less CPU w/o timeout
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-shell.el | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index d7a05cf4..0ad287c0 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -1,4 +1,4 @@ -;; proof-shell.el Proof General shell mode. +; proof-shell.el Proof General shell mode. ;; ;; Copyright (C) 1994-2002 LFCS Edinburgh. ;; Authors: David Aspinall, Yves Bertot, Healfdene Goguen, @@ -1782,8 +1782,8 @@ Needed between sequences of commands to maintain synchronization, because Proof General does not allow for the action list to be extended in some cases. May be called by `proof-shell-invisible-command'." (while proof-shell-busy - (accept-process-output nil timeout) - (sit-for 0))) + (accept-process-output nil (or timeout 2)) ;; FIXME: make this longer + (sit-for 0))) ;; (use less CPU for busy wait) (defun proof-done-invisible (span) |