commit | 6c9ee06d95024614e97ee18a72953990b7af1130 | [log] [tgz] |
---|---|---|
author | Christian Pontesegger <christian.pontesegger@web.de> | Thu Aug 15 11:38:49 2019 +0200 |
committer | Christian Pontesegger <christian.pontesegger@web.de> | Thu Aug 15 12:40:26 2019 +0200 |
tree | 43b4deb854e9c1dc21909202350d9f829800106c | |
parent | 632ede0e96b847accd0050bc7eb074cb0b514c1d [diff] |
Bug 550051: Engine termination should be improved reworked termination process on user requested termination we now set an exception as execution result interface cleanup Change-Id: I9fed889b754f92420820c4b50383485b22f364ec