Avoid NULL pointer dereference in terminal_screen_child_exited

Fixes #314
mate-desktop · Dec 17, 2019 · fe73da9 · fe73da9
1 parent 5ba65e4
commit fe73da9
Showing 1 changed file with 3 additions and 0 deletions.
diff --git 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,