Thomas Girard wrote:
Hello,
Le mardi 22 avril 2008 à 13:15 +0200, Paolo Bonzini a écrit :
It might be that rebuilding fixes the failure. I saw random failures of
Swazoo here too, it might be a race condition or something like that.
Paolo, could this error be fixed by the patch[1]?
Regards,
Thomas
[1]
http://git.sv.gnu.org/gitweb/?p=smalltalk.git;a=commitdiff;h=dfd82e2fef20429c40f0deaedc2154e9c10f5802
Hmm... I think I saw it less often after that patch, but the symptom of
that patch was a bug in Seaside. It cannot hurt though.
Paolo
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]