the PID files for the development server are now gitignored