gui: Use trap to make sure temporary files are removed.
authorAndre Noll <maan@tuebingen.mpg.de>
Sat, 13 Sep 2014 14:16:34 +0000 (16:16 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Sat, 27 Sep 2014 23:02:00 +0000 (23:02 +0000)
commitdd72676c4bd2cc300a655d5c0bf202fc0a559c6f
tree30e2232383696e092f88cc89e173e07b3d1f2184
parent021cb6acbe9be83506f27e9eff3cd434e6daf149
gui: Use trap to make sure temporary files are removed.

Without this, killing the application might leave a temporary file.
gui