[jbosstools-issues] [JBoss JIRA] (JBIDE-27073) Set User-Agent when sending request to code.quarkus.io

Jeff MAURY (Jira) issues at jboss.org
Tue Feb 25 02:44:00 EST 2020


Jeff MAURY created JBIDE-27073:
----------------------------------

             Summary: Set User-Agent when sending request to code.quarkus.io
                 Key: JBIDE-27073
                 URL: https://issues.redhat.com/browse/JBIDE-27073
             Project: Tools (JBoss Tools)
          Issue Type: Enhancement
          Components: quarkus
    Affects Versions: 4.14.0.Final
            Reporter: Jeff MAURY
             Fix For: 4.15.0.AM1


code.quarkus.io expects user agent with a form like:


{code:java}
../.. (...;...;...)
{code}


so we should send something like:


{code:java}
product name/version (${System.getProperty("os.name")}; ${System.getProperty("os.version")}; ${System.getProperty("os.arch")}, Java ${System.getProperty("java.version")})
{code}




--
This message was sent by Atlassian Jira
(v7.13.8#713008)


More information about the jbosstools-issues mailing list