Details
-
Improvement
-
Status: Closed
-
Major
-
Resolution: Done
-
3.1.3
-
None
Description
Would be nice if we didn't lose gremlin server log files during process-docs.sh. They can be helpful when debugging stuff that's gone wrong.
Fixed via CTR with: https://github.com/apache/tinkerpop/commit/09e842714856996ca5f1335f2037b79a58b0f928