217 |
new PrintWriter(new OutputStreamWriter(outputStream, "8859_1")); |
new PrintWriter(new OutputStreamWriter(outputStream, "8859_1")); |
218 |
|
|
219 |
// Send request including any request properties that were set. |
// Send request including any request properties that were set. |
220 |
outputWriter.print (getRequestMethod() + " " + url.getFile() |
String requestFile = url.getFile(); |
221 |
+ " HTTP/1.1\r\n"); |
outputWriter.print(getRequestMethod() + " " |
222 |
|
+ (requestFile.length() != 0 ? requestFile : "/") |
223 |
|
+ " HTTP/1.1\r\n"); |
224 |
|
|
225 |
// Set additional HTTP headers. |
// Set additional HTTP headers. |
226 |
if (getRequestProperty ("Host") == null) |
if (getRequestProperty ("Host") == null) |