Github user asfgit closed the pull request at:
https://github.com/apache/tinkerpop/pull/745
---
Github user spmallette commented on a diff in the pull request:
https://github.com/apache/tinkerpop/pull/745#discussion_r150381086
--- Diff:
tinkergraph-gremlin/src/main/java/org/apache/tinkerpop/gremlin/tinkergraph/structure/TinkerIndex.java
---
@@ -48,17 +48,18 @@ public
Github user spmallette commented on a diff in the pull request:
https://github.com/apache/tinkerpop/pull/745#discussion_r150381081
--- Diff:
tinkergraph-gremlin/src/main/java/org/apache/tinkerpop/gremlin/tinkergraph/structure/TinkerIndex.java
---
@@ -48,17 +48,18 @@ public
GitHub user mpollmeier opened a pull request:
https://github.com/apache/tinkerpop/pull/745
TINKERPOP-1830: fix race condition in TinkerIndex
My colleage @fabsx00 discovered a race condition in tinkergraph's index
creation. He fixed it by simply replacing `parallelStream` with
