tree 43b4deb854e9c1dc21909202350d9f829800106c
parent 632ede0e96b847accd0050bc7eb074cb0b514c1d
author Christian Pontesegger <christian.pontesegger@web.de> 1565861929 +0200
committer Christian Pontesegger <christian.pontesegger@web.de> 1565865626 +0200

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