added possibility to dump object space to file before kill for memory limit#42

Open

robertoz-01 wants to merge 4 commits intokzk:masterfrom robertoz-01:master

+37-6

Commits on Aug 14, 2014

added option to dump object space to file before kill for memory limit
robertoz-01
committed

Commits on Sep 22, 2014

Commits on Oct 2, 2014

added require of objspace outside trap scope
robertoz-01
committed