Learn more about these different git repos.
Other Git URLs
5170a8c
Check whether servername is not empty string. Previous check was wrong, servername cannot be NULL.