Avoid generating new CTK events if process_exit() and LOADER_UNLOAD() was already called.
This commit is contained in:
parent
3229e5fa9d
commit
074e74a584
|
@ -28,7 +28,7 @@
|
||||||
*
|
*
|
||||||
* This file is part of the Contiki desktop OS.
|
* This file is part of the Contiki desktop OS.
|
||||||
*
|
*
|
||||||
* $Id: shell-gui.c,v 1.2 2006/08/21 21:44:13 oliverschmidt Exp $
|
* $Id: shell-gui.c,v 1.3 2006/12/29 23:05:19 oliverschmidt Exp $
|
||||||
*
|
*
|
||||||
*/
|
*/
|
||||||
|
|
||||||
|
@ -130,8 +130,10 @@ PROCESS_THREAD(shell_gui_process, ev, data)
|
||||||
data == (process_data_t)&commandentry) {
|
data == (process_data_t)&commandentry) {
|
||||||
shell_output("> ", command);
|
shell_output("> ", command);
|
||||||
shell_input(command);
|
shell_input(command);
|
||||||
CTK_TEXTENTRY_CLEAR(&commandentry);
|
if(shell_gui_process.state) {
|
||||||
CTK_WIDGET_REDRAW(&commandentry);
|
CTK_TEXTENTRY_CLEAR(&commandentry);
|
||||||
|
CTK_WIDGET_REDRAW(&commandentry);
|
||||||
|
}
|
||||||
} else if(ev == ctk_signal_window_close ||
|
} else if(ev == ctk_signal_window_close ||
|
||||||
ev == PROCESS_EVENT_EXIT) {
|
ev == PROCESS_EVENT_EXIT) {
|
||||||
shell_quit(NULL);
|
shell_quit(NULL);
|
||||||
|
|
Loading…
Reference in a new issue