Free the underlying GPid resource upon deletion

2015-10-28 19:50:30 +01:00 · 2015-10-28 19:50:30 +01:00 · f07f598ff8
commit f07f598ff8
parent 6c64ab3006
1 changed files with 2 additions and 0 deletions
--- a/src/run.c
+++ b/src/run.c
@ -231,6 +231,8 @@ static GtkWidget * _new_entry(Config * config)
 /* run_delete */
 static void _run_delete(Run * run)
 {
+	if(run->pid >= 0)
+		g_spawn_close_pid(run->pid);
 	if(run->config != NULL)
 		config_delete(run->config);
 	object_delete(run);