The shared memory file for remote statistics on Unix is now in $POLYSTATSDIR if that
is defined in the environment, otherwise $HOME/.polyml as before.
Clean up remote statistics on Unix.
Description
Description
Details
Details
- Provenance
dcjm Authored on Aug 7 2020, 4:12 PM - Parents
- rPOLYML59232968ed60: Posix.Process.exit should call PolyFinish rather than PolyTerminate so that…
- Branches
- Unknown
- Tags