GitHub user javeme opened a pull request:
https://github.com/apache/tinkerpop/pull/813
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
Alternatively you can review and apply these changes as the patch at:
https://github.com/apache/tinkerpop/pull/813.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 #813
----
commit 15964e40b420d0138e64354bb5d7fa71ed46ce03
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.
----
---
