Commit 510be5c9a4e5e6114c20f05cb4edb180ec2e9f9c

Con Kolivas 2011-08-12T22:08:27

Summary on exit is sometimes getting lost without a flush of stdout.