GitHub user javeme opened a pull request:
https://github.com/apache/tinkerpop/pull/821
TINKERPOP-1914 Support construct a GremlinServer instance from gremlin
executor service
https://issues.apache.org/jira/browse/TINKERPOP-1914
This constructor is useful when Gremlin Server is being used in an embedded
style and there is a need to share thread pools with the hosting
application.
You can merge this pull request into a Git repository by running:
$ git pull https://github.com/javeme/tinkerpop gremlin-server-executor-tp33
Alternatively you can review and apply these changes as the patch at:
https://github.com/apache/tinkerpop/pull/821.patch
To close this pull request, make a commit to your master/trunk branch
with (at least) the following in the commit message:
This closes #821
----
commit d3dbd13777f91ec1cd94fc83d309300c6181d29a
Author: Jermy Li <javaloveme@...>
Date: 2018-03-08T11:10:48Z
Support construct a GremlinServer instance from gremlin executor service
This constructor is useful when Gremlin Server is being used in an embedded
style and there is a need to share thread pools with the hosting
application.
----
---
