tinkerpop-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From "Bryn Cooke (JIRA)" <j...@apache.org>
Subject [jira] [Updated] (TINKERPOP-2243) Add user-agent to RequestOptions
Date Mon, 17 Jun 2019 14:29:00 GMT

     [ https://issues.apache.org/jira/browse/TINKERPOP-2243?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel
]

Bryn Cooke updated TINKERPOP-2243:
----------------------------------
    Description: 
It would be useful to know the 'user-agent' that is sending a request so that the server
can react in different ways. For instance:
 * To log differently.
 * To give different error messages.

For instance, if the user is connecting via gremlin console then error messages can include
gremlin console specific help.

  was:
It would be useful to know the 'user-agent' that is sending a request so that the server
can react in different ways. For instance:
 * To log differently.
 * To give different error messages.

 


> Add user-agent to RequestOptions
> --------------------------------
>
>                 Key: TINKERPOP-2243
>                 URL: https://issues.apache.org/jira/browse/TINKERPOP-2243
>             Project: TinkerPop
>          Issue Type: Improvement
>          Components: driver, server
>    Affects Versions: 3.4.2
>            Reporter: Bryn Cooke
>            Priority: Major
>
> It would be useful to know the 'user-agent' that is sending a request so that the server
can react in different ways. For instance:
>  * To log differently.
>  * To give different error messages.
> For instance, if the user is connecting via gremlin console then error messages can include
gremlin console specific help.



--
This message was sent by Atlassian JIRA
(v7.6.3#76005)

Mime
View raw message