mongodb/mongo — pull request #117 by tadmarshall (2011-10-12 20:39:45+00:00)
Title: SERVER-3990 (reissue) -- 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.