From c53bed8450e8f456d81664dc50874217368ac38e Mon Sep 17 00:00:00 2001 From: daid Date: Wed, 8 Apr 2015 14:05:33 +0200 Subject: [PATCH] Slightly improve process kill handling. --- CuraEngineBackend.py | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/CuraEngineBackend.py b/CuraEngineBackend.py index 7809736988..8154620f91 100644 --- a/CuraEngineBackend.py +++ b/CuraEngineBackend.py @@ -105,7 +105,11 @@ class CuraEngineBackend(Backend): if self._slicing: self._slicing = False self._restart = True - self._process.terminate() + if self._process is not None: + try: + self._process.terminate() + except: # terminating a process that is already terminating causes an exception, silently ignore this. + pass return objects = []