gatuno
/
gatuno-terminal
1
0
Fork 0
Code Issues Pull Requests Releases 1 Wiki Activity

Avoid NULL pointer dereference in terminal_screen_child_exited 

Fixes #314
rbuj 2019-12-11 19:13:52 +01:00 committed by raveit65
parent c49b3f7b68
commit 76341a3d52
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/terminal-screen.c
View File

@ -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,