Sebastian Lackner : server: Increase size of PID table and do not reuse recently freed ptids.