- From: Mercurial notifier <nobody@w3.org>
- Date: Tue, 19 Mar 2013 15:03:36 +0000
- To: Unicorn Updates <www-validator-cvs@w3.org>
changeset: 1714:65ec7ae95911
tag: tip
user: tgambet
date: Tue Mar 19 16:03:17 2013 +0100
files: src/org/w3c/unicorn/input/URIInputParameter.java
description:
added "http://validator.w3.org/services" to user-agent string
diff -r c581612fc6f0 -r 65ec7ae95911 src/org/w3c/unicorn/input/URIInputParameter.java
--- a/src/org/w3c/unicorn/input/URIInputParameter.java Tue Jan 29 18:44:13 2013 +0100
+++ b/src/org/w3c/unicorn/input/URIInputParameter.java Tue Mar 19 16:03:17 2013 +0100
@@ -101,7 +101,7 @@
}
HttpURLConnection con = (HttpURLConnection) docUrl.openConnection();
- con.setRequestProperty("User-agent", "W3C_Unicorn/1.0");
+ con.setRequestProperty("User-agent", "W3C_Unicorn/1.0 (http://validator.w3.org/services)");
con.setConnectTimeout(connectTimeOut);
con.setRequestMethod("HEAD");
try {
Received on Tuesday, 19 March 2013 15:03:38 UTC