From f07f598ff8c7a6d5abb5bf08aa7ec5e4c8cad213 Mon Sep 17 00:00:00 2001
From: Pierre Pronchery <khorben@defora.org>
Date: Wed, 28 Oct 2015 19:50:30 +0100
Subject: [PATCH] Free the underlying GPid resource upon deletion

---
 src/run.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/run.c b/src/run.c
index 0509826..a794a1a 100644
--- 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);