Index: kernel/generic/src/console/cmd.c
===================================================================
--- kernel/generic/src/console/cmd.c	(revision 402de0c55e1244d9577ac32ddd4be299249808be)
+++ kernel/generic/src/console/cmd.c	(revision 821cc933bb47a68b3a1cf7ff1f4725d46116f16e)
@@ -957,4 +957,5 @@
 	
 	event_notify_0(EVENT_KCONSOLE);
+	indev_pop_character(stdin);
 	
 	return 1;