diff options
| author | rbuj <[email protected]> | 2019-12-11 19:13:52 +0100 |
|---|---|---|
| committer | raveit65 <[email protected]> | 2019-12-17 10:43:10 +0100 |
| commit | 76341a3d528a2c7bdd73fb1679548cbddacb39b1 (patch) | |
| tree | e778bbb2be7ed67e579ef36e594f07cf46edb74a | |
| parent | c49b3f7b68ed674a8745b44e192d58f540ec1032 (diff) | |
| download | mate-terminal-76341a3d528a2c7bdd73fb1679548cbddacb39b1.tar.bz2 mate-terminal-76341a3d528a2c7bdd73fb1679548cbddacb39b1.tar.xz | |
Avoid NULL pointer dereference in terminal_screen_child_exited
Fixes #314
| -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 aba6cb1..55a01bc 100644 --- a/src/terminal-screen.c +++ b/src/terminal-screen.c @@ -1956,6 +1956,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, |