Changeset 1714:65ec7ae95911

Show
Ignore:
Timestamp:
03/19/13 15:03:17 (3 months ago)
Author:
tgambet
Branch:
default
Tags:
tip
Message:

added " http://validator.w3.org/services" to user-agent string

Files:
1 modified

Legend:

Unmodified
Added
Removed

  • src/org/w3c/unicorn/input/URIInputParameter.java

    r1588 r1714  
    102102                         
    103103                        HttpURLConnection con = (HttpURLConnection) docUrl.openConnection(); 
    104                         con.setRequestProperty("User-agent", "W3C_Unicorn/1.0"); 
     104                        con.setRequestProperty("User-agent", "W3C_Unicorn/1.0 (http://validator.w3.org/services)"); 
    105105                        con.setConnectTimeout(connectTimeOut); 
    106106                        con.setRequestMethod("HEAD");