29 lines
742 B
Diff
29 lines
742 B
Diff
From 761f1a5d33b99e532d525be76a2cfb70d9734900 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,
|
|
--
|
|
2.21.0
|
|
|