From fe73da93aa0a14ee471e7a6af7914197c41d3723 Mon Sep 17 00:00:00 2001 From: rbuj Date: Wed, 11 Dec 2019 19:13:52 +0100 Subject: Avoid NULL pointer dereference in terminal_screen_child_exited Fixes #314 --- src/terminal-screen.c | 3 +++ 1 file changed, 3 insertions(+) (limited to 'src') 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, -- cgit v1.2.1