[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