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