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)
commit79c8d21ca871e2f52d8de960cbf2534ba4509491
treed6bb4abcc9f69d33952ffe274ae773982c556665
parent5b34b57b3f1927f907fafbb70913b23fe6d36b12
Add garbage collection at the end of each run.

You can trivially invoke the garbage collector by redirecting stdin
to /dev/null.
dm6