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 ? -- Mehdi Dogguy http://www.pps.jussieu.fr/~dogguy/ -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
