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