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

Merged
merged 1 commit into from Nov 1, 2011

Conversation

Projects
None yet
2 participants
Contributor

tadmarshall commented Oct 13, 2011

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.

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.

erh added a commit that referenced this pull request Nov 1, 2011

Merge pull request #121 from tadmarshall/SERVER-3990-reissue-2
SERVER-3990 (reissue 2) -- fix ctrl-D won't delete last character in line

@erh erh merged commit 749b1b2 into mongodb:master Nov 1, 2011

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment