On Wed, Sep 10, 2008 at 17:33:24 +0200, Mehdi Dogguy wrote: > Timo Juhani Lindfors a écrit : > > Mehdi Dogguy <[EMAIL PROTECTED]> writes: > >> Ok. It was corrected in why ≥ 2.14. > > > > Ok, it is probably too late to correct this for debian lenny? At the > > moment it is not possible to launch any provers from gwhy GUI because > > of the issue :-( > > You just have to write a wrapper for cpulimit to solve your problem. > I don't think it's possible to correct it in lenny ... Can you confirm > that Julien ? What can we do ? > Install why's cpulimit in /usr/lib/why/, and teach the program to execute that instead of the one in $PATH? If the patch is not too big, fixing in lenny would probably be possible.
Cheers, Julien -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
