GUI BUGFIX: On some file systems, problems with case-insensitivity and name clash between sys module and local.

gui/Gui/Makeimage.py

@@ -31,7 +31,7 @@ import sys
 """ Import scyther components """
 
 """ Import scyther-gui components """
-import Tempfile
+import Temporary
 import Preference
 
 #---------------------------------------------------------------------------
@@ -123,7 +123,7 @@ def makeImageDot(dotdata,attackthread=None):
         ext = ".png"
 
     # command to write to temporary file
-    (fd2,fpname2) = Tempfile.tempcleaned(ext)
+    (fd2,fpname2) = Temporary.tempcleaned(ext)
     f = os.fdopen(fd2,'w')
 
     cmd = "dot -T%s" % (type)

gui/Gui/Scytherthread.py

@@ -33,7 +33,6 @@ import Scyther.Error
 from Scyther.Misc import *
 
 """ Import scyther-gui components """
-import Tempfile
 import Preference
 import Attackwindow
 import Icon