mongodb/mongo — pull request #121 by tadmarshall (2011-10-13 11:41:33+00:00)
Title: SERVER-3990 (reissue 2) -- fix ctrl-D won't delete last character in line

SERVER-3990 (reissue 2) -- fix ctrl-D won't delete last character in line

This is a reissue of my earlier fix. I'm trying to break them down into
bite-sized parts to make them easier to pull.

Merge the code for DEL and ctrl-D, with special handling for ctrl-D on
an empty line. Let memmove copy the NUL terminator. Edited for style.