* tui-hooks.c (tui_detach_hook): New hook to know when a process dies.
authorStephane Carrez <stcarrez@nerim.fr>
Sun, 1 Sep 2002 12:49:32 +0000 (12:49 +0000)
committerStephane Carrez <stcarrez@nerim.fr>
Sun, 1 Sep 2002 12:49:32 +0000 (12:49 +0000)
commitcda8ab404866295418b3a8d549cf78f566e0b625
tree5380bb4fa050920b4aced38fae6927ea4bee8031
parentcb50eddded7154b37be9fe4b39df549c48c2d583
* tui-hooks.c (tui_detach_hook): New hook to know when a process dies.
(tui_install_hooks): Install it.
(tui_remove_hooks): Remove it.
gdb/tui/ChangeLog
gdb/tui/tui-hooks.c