Leo Simons wrote:
Hi gang!
And now for something completely different...
Saw both Adam and Stefan suggest this recently. I concur. Let's retire ("kill off" sounds way to harsh for this faithful servant!) the java version of gump. The python one is now superior in most ways, and Adam keeps getting a headache keeping all the undocumented awkwardness in sync!
+0.
I'd suggest tagging CVS and making it clear that java gump may deviate from documentation, etc but permit changes to the code. My main concern at the moment is that python gump seems a /lot/ slower than java gump on my under-powered, over-worked Sun Ultra 5. On that machine a Java gump run would take in the order of 19 hours. I started a Python gump run on the 6th June at 2.33pm local time and it still isn't finished (as of the 8th June at 5.05pm).
-- Michael
--------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
