Join GitHub today
GitHub is home to over 20 million developers working together to host and review code, manage projects, and build software together.
Proxies with port numbers cause errors and segfaults. #79
Title speaks for itself. Using, for example, http://123.456.78.910 as a proxy works, but tacking ":8080" onto the end of that (port number) causes "Unknown Host" and a segfault on exit. Probably a simple fix to the DNS calls, but I haven't been able to look at the source myself to know.