W3C home > Mailing lists > Public > www-validator-cvs@w3.org > December 2010

unicorn commit: + "W3C_" prefix to user-agent

From: Mercurial notifier <nobody@w3.org>
Date: Wed, 08 Dec 2010 19:47:53 +0000
Message-Id: <E1PQPzV-0007JA-8M@mcbain.w3.org>
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

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 15:17:44 UTC