[BPEL2oWFN-cvs] bpel2owfn/src petrinet-patterns-shortcuts.k

[Martin Znamirowski]

CVSROOT:        /sources/bpel2owfn
Module name:    bpel2owfn
Changes by:     Martin Znamirowski <znamirow>   07/06/28 10:25:25

Modified files:
        src            : petrinet-patterns-shortcuts.k 

Log message:
        - If a fault is thrown in a rethrow in the faulthandler of the process, 
it will not generate an exit-Token if the process is already exiting but 
instead will stop the faulthandler itself and finalize the process this way

CVSWeb URLs:
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/petrinet-patterns-shortcuts.k?cvsroot=bpel2owfn&r1=1.28&r2=1.29