--- a/UI/UserInterface.py Fri Nov 19 19:32:32 2010 +0100
+++ b/UI/UserInterface.py Sun Nov 21 13:23:22 2010 +0100
@@ -195,6 +195,7 @@
restart (list of strings)
"""
QMainWindow.__init__(self)
+ self.setAttribute(Qt.WA_DeleteOnClose)
self.__restartArgs = restartArguments[:]