>>> [rexec is broke] >> [let's document that] > Yes. This should be done. > > --Guido van Rossum (home page: http://www.python.org/~guido/) OK. I'll submit a patch. -- Michael Chermside