Pass also exitCode and crashed-flag in signal toolFinished()
Description
Description
Details
Details
- Committed
dhaumann Jun 10 2019, 2:07 PM - Parents
- R40:03b54edee577: Working dir: if empty, use the current document's path
- Branches
- Unknown
- Tags
dhaumann | Jun 10 2019, 2:07 PM |