[GitHub] tinkerpop issue #813: TINKERPOP-1914 Support construct a GremlinServer insta...

[spmallette]

Github user spmallette commented on the issue:

    https://github.com/apache/tinkerpop/pull/813
  
    ok - thanks. would you mind closing this PR please? i will merge forward 
the other one to master.


---