Learn more about these different git repos.
Other Git URLs
6d22695
Bug #243972 - Wrong usage of variables $pid vs $pid_file