equal
deleted
inserted
replaced
115 } else { |
115 } else { |
116 this.systemHeaders = new HttpHeadersImpl(); |
116 this.systemHeaders = new HttpHeadersImpl(); |
117 } |
117 } |
118 } else { |
118 } else { |
119 HttpRequestBuilderImpl.checkURI(requestURI); |
119 HttpRequestBuilderImpl.checkURI(requestURI); |
|
120 checkTimeout(timeout); |
120 this.systemHeaders = new HttpHeadersImpl(); |
121 this.systemHeaders = new HttpHeadersImpl(); |
121 checkTimeout(timeout); |
|
122 } |
122 } |
123 this.systemHeaders.setHeader("User-Agent", USER_AGENT); |
123 this.systemHeaders.setHeader("User-Agent", USER_AGENT); |
124 this.uri = requestURI; |
124 this.uri = requestURI; |
125 if (isWebSocket) { |
125 if (isWebSocket) { |
126 // WebSocket determines and sets the proxy itself |
126 // WebSocket determines and sets the proxy itself |