VoltDB/voltdb — pull request #336 by wijjo (2013-01-11 20:43:10+00:00)
Title: ENG-4192 Fix SQLCommand Ctrl-D binding to not exit from the middle of a line

Previous Ctrl-D binding was stuffing exit into the keyboard buffer even on a non-empty line. The fix checks for an empty line and does a System.exit(), otherwise calls delete to delete a character. The delete() call works fine, even if there are no trailing characters.