From 4f252d55a7178098a663f3badb2c8fa2a969d2a0 Mon Sep 17 00:00:00 2001 From: Cas Cremers Date: Tue, 10 Jun 2014 14:54:28 +0100 Subject: [PATCH] Bugfix in case commandline text is empty. --- gui/Scyther/XMLReader.py | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/gui/Scyther/XMLReader.py b/gui/Scyther/XMLReader.py index ebafc47..439b7bc 100644 --- a/gui/Scyther/XMLReader.py +++ b/gui/Scyther/XMLReader.py @@ -295,9 +295,10 @@ class XMLReader(object): elif event.tag == 'system': attack.match = int(event.find('match').text) for term in event.find('commandline'): - if attack.commandline != '': - attack.commandline += ' ' - attack.commandline += term.text + if term.text != None: + if attack.commandline != '': + attack.commandline += ' ' + attack.commandline += term.text for term in event.find('untrusted').find('termlist'): attack.untrusted.append(str(self.readTerm(term))) for term in event.find('initialknowledge').find('termlist'):