- From: Mercurial notifier <nobody@w3.org>
- Date: Wed, 08 Dec 2010 19:47:53 +0000
- To: Unicorn Updates <www-validator-cvs@w3.org>
changeset: 1588:417425c0e228
tag: tip
user: Thomas Gambet <tgambet@w3.org>
date: Wed Dec 08 14:47:49 2010 -0500
files: src/org/w3c/unicorn/input/URIInputParameter.java
description:
+ "W3C_" prefix to user-agent
diff -r 2ade50004dae -r 417425c0e228 src/org/w3c/unicorn/input/URIInputParameter.java
--- a/src/org/w3c/unicorn/input/URIInputParameter.java Wed Dec 08 12:36:42 2010 -0500
+++ b/src/org/w3c/unicorn/input/URIInputParameter.java Wed Dec 08 14:47:49 2010 -0500
@@ -101,7 +101,7 @@
}
HttpURLConnection con = (HttpURLConnection) docUrl.openConnection();
- con.setRequestProperty("User-agent", "Unicorn/1.0");
+ con.setRequestProperty("User-agent", "W3C_Unicorn/1.0");
con.setConnectTimeout(connectTimeOut);
con.setRequestMethod("HEAD");
try {
@@ -116,7 +116,7 @@
int responseCode = con.getResponseCode();
if (responseCode == 405) {
con = (HttpURLConnection) docUrl.openConnection();
- con.setRequestProperty("User-agent", "Unicorn/1.0");
+ con.setRequestProperty("User-agent", "W3C_Unicorn/1.0");
con.setConnectTimeout(connectTimeOut);
con.setRequestMethod("GET");
con.connect();
Received on Wednesday, 8 December 2010 19:47:56 UTC