1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
|
/*
* Copyright (c) 2001, 2002, Oracle and/or its affiliates. All rights reserved.
* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
*
* This code is free software; you can redistribute it and/or modify it
* under the terms of the GNU General Public License version 2 only, as
* published by the Free Software Foundation.
*
* This code is distributed in the hope that it will be useful, but WITHOUT
* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
* FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
* version 2 for more details (a copy is included in the LICENSE file that
* accompanied this code).
*
* You should have received a copy of the GNU General Public License version
* 2 along with this work; if not, write to the Free Software Foundation,
* Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
*
* Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
* or visit www.oracle.com if you need additional information or have any
* questions.
*/
/**
* @test
* @bug 4512200
* @modules java.base/sun.net.www
* @run main/othervm -Dhttp.agent=foo UserAgent
* @summary HTTP header "User-Agent" format incorrect
*/
import java.io.*;
import java.util.*;
import java.net.*;
import sun.net.www.MessageHeader;
class Server extends Thread {
Server (ServerSocket server) {
this.server = server;
}
public void run () {
try {
String version = System.getProperty ("java.version");
String expected = "foo Java/"+version;
Socket s = server.accept ();
MessageHeader header = new MessageHeader (s.getInputStream());
String v = header.findValue ("User-Agent");
if (!expected.equals (v)) {
error ("Got unexpected User-Agent: " + v);
} else {
success ();
}
OutputStream w = s.getOutputStream();
w.write("HTTP/1.1 200 OK\r\n".getBytes());
w.write("Content-Type: text/plain\r\n".getBytes());
w.write("Content-Length: 5\r\n".getBytes());
w.write("\r\n".getBytes());
w.write("12345\r\n".getBytes());
} catch (Exception e) {
error (e.toString());
}
}
String msg;
ServerSocket server;
boolean success;
synchronized String getMessage () {
return msg;
}
synchronized boolean succeeded () {
return success;
}
synchronized void success () {
success = true;
}
synchronized void error (String s) {
success = false;
msg = s;
}
}
public class UserAgent {
public static void main(String[] args) throws Exception {
ServerSocket server = new ServerSocket (0);
Server s = new Server (server);
s.start ();
int port = server.getLocalPort ();
URL url = new URL ("http://127.0.0.1:"+port);
URLConnection urlc = url.openConnection ();
urlc.getInputStream ();
s.join ();
if (!s.succeeded()) {
throw new RuntimeException (s.getMessage());
}
}
}
|
