VoltDB/voltdb — pull request #1120 by mikeismert (2014-02-03 16:52:02+00:00)
Title: Eng5569

Make shutdown less noisy.