Add garbage collection at the end of each run.
authorZygo Blaxell <zblaxell@esightcorp.com>
Thu, 13 May 2010 20:41:30 +0000 (16:41 -0400)
committerZygo Blaxell <zblaxell@esightcorp.com>
Thu, 13 May 2010 20:41:30 +0000 (16:41 -0400)
You can trivially invoke the garbage collector by redirecting stdin
to /dev/null.


No differences found