[Bug 548607] Review Request: pvs-sbcl - SRI's Prototype Verification System

Wed Dec 23 15:37:12 UTC 2009

Please do not reply directly to this email. All additional
comments should be made in the comments box of this bug.

https://bugzilla.redhat.com/show_bug.cgi?id=548607

--- Comment #15 from David A. Wheeler <dwheeler at dwheeler.com>  2009-12-23 10:37:11 EDT ---
> Let's try using emacs-nox or xemacs-nox.

Agree.  That's an unfortunate solution if it's long-term, but it's a reasonable
short-term solution *AND* it would definitely help narrow down where the bug
is.

Please modify the spec so that it'll be easy to switch back to "normal" emacs
or xemacs.  It's my hope that using *emacs-nox is a relatively temporary
solution.

Your earlier patch modified "exit-pvs-process" by replacing (sit-for 1) with
(accept-process-output nil 1).  Although it's a nasty hack, you could instead
repeatedly (1) wait for 1 second using sleep, then (2) use "system" to invoke
"ps" directly and see if the process is gone.  Yeah, that's a nasty hack. 
Might work, though.

-- 
Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.