robrix/Hammer — pull request #42 by robrix (2014-04-01 19:50:48+00:00)
Title: Terminate compaction

Compaction was:

1. Not correct.
2. Not terminating when correct.

This fixes both.