Change pooling options for index array pool to prevent (almost) unbounded growth over time#1254

Merged

richardartoul merged 3 commits intomasterfrom ra/fix-index-mem-leak

Dec 19, 2018

+11-2

Commits on Dec 18, 2018

Change pooling options
Richard Artoul
committed
actual set max size
Richard Artoul
committed
disable auto refills
Richard Artoul
committed