diff options
author | Pedro Alves <palves@redhat.com> | 2016-06-21 01:11:54 +0100 |
---|---|---|
committer | Pedro Alves <palves@redhat.com> | 2016-06-21 01:11:54 +0100 |
commit | 07169ff772077f566c6540f623d7d609babc4c81 (patch) | |
tree | 191ed8266e613017d9341c83976c89f4809cc07b /intl/VERSION | |
parent | 98d9f24ed15c5ca33bff06647d87b85e22e586d2 (diff) | |
download | gdb-07169ff772077f566c6540f623d7d609babc4c81.zip gdb-07169ff772077f566c6540f623d7d609babc4c81.tar.gz gdb-07169ff772077f566c6540f623d7d609babc4c81.tar.bz2 |
Handle UI's terminal closing
Without this, GDB exits if a secondary UIs terminal/input stream is
closed:
$ ./gdb -ex "new-ui mi /dev/pts/6"
New UI allocated
<<< close /dev/pts/6
(gdb) Error detected on fd 9
$
We want that for the main UI, but not secondary UIs.
gdb/ChangeLog:
2016-06-21 Pedro Alves <palves@redhat.com>
* event-top.c (stdin_event_handler): Don't quit gdb if it was a
secondary UI's input stream that closed. Instead, just delete the
UI.
Diffstat (limited to 'intl/VERSION')
0 files changed, 0 insertions, 0 deletions