VoltDB/voltdb — pull request #398 by jhugg (2013-02-28 19:12:34+00:00)
Title: Eng 3985 diehard - Extra protection to ensure CrashVoltDB actually crashes

see: https://issues.voltdb.com/browse/ENG-3985

I couldn't reproduce it, so I added this defensive code.