if (deprecated_ui_loop_hook != NULL)
deprecated_ui_loop_hook (0);
- if (quit_flag) /* gdb's idea of quit */
+ if (check_quit_flag ()) /* gdb's idea of quit */
{
- quit_flag = 0; /* we've stolen it */
+ clear_quit_flag (); /* we've stolen it */
return 1;
}
return 0;