Fix checkpointing of a dev server

This commit is contained in:
2025-07-30 11:36:40 +02:00
parent 43663ea099
commit 5daee0f589
@@ -112,6 +112,7 @@ class CheckpointUtilsJ9 {
// Do the checkpoint
path.toFile().mkdirs();
CRIUSupport criu = new CRIUSupport(path);
criu.setGhostFileLimit(10L * 1024L * 1024L);
criu.setAutoDedup(true);
criu.setFileLocks(true);
criu.setShellJob(true);