fix TPTMP server not restarting properly on windows