From 76341a3d528a2c7bdd73fb1679548cbddacb39b1 Mon Sep 17 00:00:00 2001
From: rbuj <robert.buj@gmail.com>
Date: Wed, 11 Dec 2019 19:13:52 +0100
Subject: [PATCH] Avoid NULL pointer dereference in
 terminal_screen_child_exited

Fixes #314
---
 src/terminal-screen.c | 3 +++
 1 file changed, 3 insertions(+)

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,