Fix for #2608344: Ctrl-D to delete character when buffer is not empty

mkristian · May 13, 2010 · 5e6d1b1 · 5e6d1b1
1 parent faa159d
commit 5e6d1b1
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/src/main/java/jline/ConsoleReader.java b/src/main/java/jline/ConsoleReader.java
@@ -511,8 +511,11 @@ public String readLine(final String prompt, final Character mask)
 
                     if (buf.buffer.length() == 0) {
                         return null;
+                    } else {
+	                    success = deleteCurrentCharacter();
                     }
-		    break;
+
+		            break;
 
                 case COMPLETE: // tab
                     success = complete();