Posix.Process.exit should call PolyFinish rather than PolyTerminate so that "exit" rather than "_exit"
is called.
Description
Description
Details
Details
- Provenance
dcjm Authored on Aug 6 2020, 5:55 PM - Parents
- rPOLYMLe51f00cccb0a: Tidy-up shutdown of statistics.
- Branches
- Unknown
- Tags