From d1053bf2c31f177e1714e0014ca370e2bafda200 Mon Sep 17 00:00:00 2001
From: David Rose <david@ddrose.com>
Date: Fri, 4 Oct 2002 18:53:11 +0000
Subject: [PATCH] server:port

---
 panda/src/downloader/httpClient.cxx | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/panda/src/downloader/httpClient.cxx b/panda/src/downloader/httpClient.cxx
index 1c3bd1de5e..3757c76c0b 100644
--- a/panda/src/downloader/httpClient.cxx
+++ b/panda/src/downloader/httpClient.cxx
@@ -531,8 +531,8 @@ get_https_proxy(const string &method, const URLSpec &url, const string &body) {
   {
     ostringstream request;
     request 
-      << "CONNECT " << url.get_authority() << " " << get_http_version_string()
-      << "\r\n";
+      << "CONNECT " << url.get_server() << ":" << url.get_port()
+      << " " << get_http_version_string() << "\r\n";
     string request_str = request.str();
 
 #ifndef NDEBUG