Fixed an infinite loop.
The engine got into an infinite loop waiting for recover when an error
occurred while terminating.

Change-Id: I2562b05cc29d1eace623360b10d7e9f3004ba371
Signed-off-by: mstegmaier <michael-1.stegmaier@uni-ulm.de>