Menu
▾
▴
#21 Boot_player() doesn't flush input
open
nobody
None
5
2006-11-20
2006-11-20
Anonymous
No
The boot_player() builtin doesn't flush_input().
I think this is a bug...
I've added an extern to flush_input to tasks.h
Had to move a couple of typedefs from tasks.c to tasks.h.
That way I could have boot_player call flush_input.
