From 33028a27c20d47a6de7c5d53c0ba033b18833260 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Tue, 30 Mar 2004 12:08:29 +0000 Subject: Adjust proof-shell-wait to use less CPU w/o timeout --- generic/proof-shell.el | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'generic') 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) -- cgit v1.2.3