judgev2 icon indicating copy to clipboard operation
judgev2 copied to clipboard

Make memory limit a user-specified value

Open ngsankha opened this issue 10 years ago • 0 comments

The db-handler should be able to specify the memory limit.

ngsankha avatar Jul 08 '14 14:07 ngsankha