Free cookie consent management tool by TermsFeed Policy Generator

Changeset 1851

Timestamp:
05/19/09 13:18:46 (17 years ago)
Author:
gkronber
Message:

Reverted r1847 after discussion with swagner. Instead each operator should decide independently what happens after abort and adapt the returned next operation accordingly. #633 (Engines do not handle abortion of operators correctly)

(No files)

Note: See TracChangeset for help on using the changeset viewer.