- Error is captured nicely and printed (for now). We need an error

window for that, instead of a results window.

gui/Scyther.py

@@ -74,11 +74,17 @@ class Scyther(object):
         stdout.close()
         stderr.close()
 
+        # Report any errors (if there are some)
+        if len(self.errors) > 0:
             print self.errors
 
+        if len(xmlinput) > 0:
             xmlfile = StringIO.StringIO(xmlinput)
             reader = XMLReader.XMLReader()
             self.claims = reader.readXML(xmlfile)
+        else:
+            # no output...
+            self.claims = []
 
         return self.claims
 

gui/Scytherthread.py

@@ -226,7 +226,7 @@ class ResultWindow(wx.Frame):
             sn = claims[0].stateName(2)
             resulttxt = sn[0].upper() + sn[1:]
         else:
-            resultxt = "Results"
+            resulttxt = "Results"
         titlebar(5,resulttxt,2)
 
         self.lastprot = None