Changes by: Aleksey Nogin (nogin at metaprl.org)
Date: 2006-12-08 09:54:24 -0800 (Fri, 08 Dec 2006)
Revision: 9849
Log message:

      Call Pervasives.flush_all before forking. This is needed as the out_channel
      buffers will get duplicated on fork, so anything that is in them may end up
      being outputted several times if we do not flush!