tinkerpop-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From "ASF GitHub Bot (JIRA)" <j...@apache.org>
Subject [jira] [Commented] (TINKERPOP-2243) Add user-agent to RequestOptions
Date Mon, 24 Jun 2019 16:30:00 GMT

    [ https://issues.apache.org/jira/browse/TINKERPOP-2243?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=16871493#comment-16871493

ASF GitHub Bot commented on TINKERPOP-2243:

spmallette commented on pull request #1145: TINKERPOP-2243 Add userAgent to RequestOptions.
URL: https://github.com/apache/tinkerpop/pull/1145
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
For queries about this service, please contact Infrastructure at:

> 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

View raw message