Fixed a proxy/IP bug and handling of failed git pulls