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