CMS 1.3.1 RELEASE NOTES

[Stefano Maggiolo]

Release date: April 11, 2018

Link to the package: https://github.com/cms-dev/cms/releases/download/v1.3.1/v1.3.1.tar.gz

CMS 1.3.1 is a small bugfix release. Due to a potentially exploitable bug in the isolate configuration, we strongly suggest to update from previous versions.

What's new

----------

- Fix configuration of isolate to correctly account for the time used by all processes, that in certain cases could be wrong (see https://github.com/cms-dev/cms/pull/913 for more information).

- Fix configuration of isolate to compute correctly memory usage when not using cgroups (by default, CMS uses cgroups). 

- Mitigate the effect of an unexpected error when storing a submission result.