diff options
author | rbuj <[email protected]> | 2019-12-11 19:13:52 +0100 |
---|---|---|
committer | raveit65 <[email protected]> | 2019-12-17 10:48:41 +0100 |
commit | fe73da93aa0a14ee471e7a6af7914197c41d3723 (patch) | |
tree | 64644bce58d2572e4cc606893a6ca04adf1935af /src | |
parent | 5ba65e48b245488a755da5adbb66439cc902653c (diff) | |
download | mate-terminal-fe73da93aa0a14ee471e7a6af7914197c41d3723.tar.bz2 mate-terminal-fe73da93aa0a14ee471e7a6af7914197c41d3723.tar.xz |
Avoid NULL pointer dereference in terminal_screen_child_exited
Fixes #314
Diffstat (limited to 'src')
-rw-r--r-- | src/terminal-screen.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/terminal-screen.c b/src/terminal-screen.c index b4e7460..5c78417 100644 --- a/src/terminal-screen.c +++ b/src/terminal-screen.c @@ -1946,6 +1946,9 @@ terminal_screen_child_exited (VteTerminal *terminal, int status) break; case TERMINAL_EXIT_HOLD: { + if ((status == 9) && (priv->override_command == NULL)) + break; + GtkWidget *info_bar; info_bar = terminal_info_bar_new (GTK_MESSAGE_INFO, |