Fix jedi:server-pool--gc
Fix jedi:start-dedicated-server example