/* TUI Interpreter definitions for GDB, the GNU debugger.
- Copyright (C) 2003, 2007 Free Software Foundation, Inc.
+ Copyright (C) 2003, 2007, 2008, 2009 Free Software Foundation, Inc.
This file is part of GDB.
/* These implement the TUI interpreter. */
static void *
-tui_init (void)
+tui_init (int top_level)
{
/* Install exit handler to leave the screen in a good shape. */
atexit (tui_exit);
if (result == 0)
{
+ /* If any exception escaped to here, we better enable
+ stdin. Otherwise, any command that calls async_disable_stdin,
+ and then throws, will leave stdin inoperable. */
+ async_enable_stdin ();
/* FIXME: this should really be a call to a hook that is
interface specific, because interfaces can display the
prompt in their own way. */