From d1537b1848c01b0fc357e1715d2dabf92e3e8e42 Mon Sep 17 00:00:00 2001 From: Cas Cremers Date: Fri, 23 Nov 2012 09:25:19 +0100 Subject: [PATCH] Catching other error message for wrong architecture. Current wxPython packages only work in 32-bit mode. If we detect that there is an error message complaining about the architecture, we restart scyther-gui.py using python in 32-bit mode. --- gui/scyther-gui.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gui/scyther-gui.py b/gui/scyther-gui.py index b8cb3e1..1a6a0c7 100755 --- a/gui/scyther-gui.py +++ b/gui/scyther-gui.py @@ -36,7 +36,7 @@ The [wxPython] packages can be found at http://www.wxpython.org/ Ubuntu users: the wxPython packages are called 'python-wxgtk' followed by the version number.""" - elif '32-bit mode' in str(err): + elif ('32-bit mode' in str(err)) or ('no matching architecture' in str(err)): import os key = "VERSIONER_PYTHON_PREFER_32_BIT"