Changeset 1585:51ba8f2cef75

Show
Ignore:
Timestamp:
12/08/10 17:34:18 (3 years ago)
Author:
Thomas Gambet <tgambet@…>
Branch:
default
Message:

+ Unicorn user-agent

Files:
1 modified

Legend:

Unmodified
Added
Removed
  • src/org/w3c/unicorn/input/URIInputParameter.java

    r1561 r1585  
    102102                         
    103103                        HttpURLConnection con = (HttpURLConnection) docUrl.openConnection(); 
     104                        con.setRequestProperty("User-agent", "Unicorn/1.0"); 
    104105                        con.setConnectTimeout(connectTimeOut); 
    105106                        con.setRequestMethod("HEAD"); 
     
    116117                        if (responseCode == 405) { 
    117118                                con = (HttpURLConnection) docUrl.openConnection(); 
     119                                con.setRequestProperty("User-agent", "Unicorn/1.0"); 
     120                                con.setConnectTimeout(connectTimeOut); 
    118121                                con.setRequestMethod("GET"); 
    119122                                con.connect();