You are viewing a plain text version of this content. The canonical link for it is here.

Posted to commits@tinkerpop.apache.org by GitBox <gi...@apache.org> on 2022/10/23 21:07:56 UTC

[GitHub] [tinkerpop] spmallette commented on pull request #1838: TINKERPOP-2480 Add User-Agent request header to java driver

spmallette commented on PR #1838:
URL: https://github.com/apache/tinkerpop/pull/1838#issuecomment-1288201585

   i realize this feature is focused on the Java driver, but perhaps we could make the server do something with the agent in the PR? could we at least have a debug level log message output a line with the requestid/agent value? or perhaps we dont need a discrete message? maybe just update the server logging that currently exists for writing a `RequestMessage` to include some of that information where it might be helpful in debugging?


-- 
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.

To unsubscribe, e-mail: commits-unsubscribe@tinkerpop.apache.org

For queries about this service, please contact Infrastructure at:
users@infra.apache.org