On Mon, Oct 11, 2010 at 12:10 PM, Jeremy Wall <[email protected]> wrote: > Does removing the forkIO call mean that the writeDB is no longer done > in the background? If so I think the docs for that function should be > changed as well.
Good point. I've removed the background mention from the Haddock; attached amended patch. -- gwern http://www.gwern.net/ -- Yi development mailing list [email protected] http://groups.google.com/group/yi-devel
fork2.dpatch
Description: Binary data
