Learn more about these different git repos.
Other Git URLs
711d5dd
- go ahead and close the pidfile at startup - remove the pidfile only if we opened it