]> git.tuebingen.mpg.de Git - gsu.git/blobdiff - gui
README: Fix gitweb link.
[gsu.git] / gui
diff --git a/gui b/gui
index 6003a90ab18a11c51bf4ae4c0a98fa4e74c2bb38..fa3ae4826a9e96062e5455c3969c6a9290ea4a26 100644 (file)
--- a/gui
+++ b/gui
@@ -1,4 +1,6 @@
 #!/bin/bash
+# Copyright (C) 2006 Andre Noll
+# Licensed under the LGPL, version 3. See COPYING and COPYING.LESSER.
 
 if [[ "$(type -t _gsu_setup)" != "function" ]]; then
        gsu_dir=${gsu_dir:-${BASH_SOURCE[0]%/*}}
@@ -87,6 +89,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