[cp-patches] User-Agent header submitted in HttpURLConnection requests

[Chris Burdess]

This patch corrects the User-Agent header submitted by http URL 
connection requests, from "inetlib/1.1" to "classpath/" + the version 
of classpath as stored in gnu.classpath.Configuration.

2004-12-01  Chris Burdess  <address@hidden>

        * gnu/java/net/protocol/http/HTTPConnection.java:
        HTTPConnection's default User-Agent header set to "classpath/" 
plus
        the version of Classpath in use.

Shall I commit?
--
Chris Burdess

HTTPConnection-20041201.patch
Description: Binary data