From dd72676c4bd2cc300a655d5c0bf202fc0a559c6f Mon Sep 17 00:00:00 2001
From: Andre Noll <maan@tuebingen.mpg.de>
Date: Sat, 13 Sep 2014 16:16:34 +0200
Subject: [PATCH] gui: Use trap to make sure temporary files are removed.

Without this, killing the application might leave a temporary file.
---
 gui | 1 +
 1 file changed, 1 insertion(+)

diff --git a/gui b/gui
index 6003a90..f608196 100644
--- a/gui
+++ b/gui
@@ -87,6 +87,7 @@ gsu_msgbox()
 		result='temp file for textbox'
 		return
 	fi
+	trap "rm -f $tmp" EXIT
 	echo "$1" > "$tmp"
 	gsu_textbox "$tmp"
 	rm -f "$tmp" # ignore errors
-- 
2.39.2