From 3a44e754339790a7e6c6b34ca4e9231de0f605e9 Mon Sep 17 00:00:00 2001 From: malc Date: Fri, 19 Aug 2011 21:20:16 +0400 Subject: [PATCH] Evict more aggressively --- main.ml | 1 + 1 file changed, 1 insertion(+) diff --git a/main.ml b/main.ml index bd88c66..4c2703f 100644 --- a/main.ml +++ b/main.ml @@ -895,6 +895,7 @@ let act cmd = wcmd "free" [`s opaque]; Hashtbl.remove state.pagemap pagekey; state.memused <- state.memused - size; + gc (); ) in gc (); -- 2.11.4.GIT