Force recreating the socket when using external-backend

This may recreate the socket with a new port number but at least it
recreates the socket now.

Partially fixes CURA-1877
This commit is contained in:
Arjen Hiemstra 2016-08-02 13:57:55 +02:00
parent 22b6ab9c42
commit b97b694f41

View file

@ -181,6 +181,11 @@ class CuraEngineBackend(Backend):
self.slicingCancelled.emit()
self.processingProgress.emit(0)
Logger.log("d", "Attempting to kill the engine process")
if Application.getInstance().getCommandLineOption("external-backend", False):
self._createSocket()
return
if self._process is not None:
Logger.log("d", "Killing engine process")
try: