[
https://issues.apache.org/jira/browse/TINKERPOP-943?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=15106656#comment-15106656
]
ASF GitHub Bot commented on TINKERPOP-943:
------------------------------------------
Github user spmallette commented on the pull request:
https://github.com/apache/incubator-tinkerpop/pull/201#issuecomment-172836151
looks nice to me:
```text
$ bin/process-docs.sh
The port 8182 is required for Gremlin Server, but already in use. Be sure
to close the application that currently uses the port before processing the
docs.
```
VOTE +1
> Warn if Gremlin Server is running prior to generating docs
> ----------------------------------------------------------
>
> Key: TINKERPOP-943
> URL: https://issues.apache.org/jira/browse/TINKERPOP-943
> Project: TinkerPop
> Issue Type: Improvement
> Components: documentation
> Affects Versions: 3.0.2-incubating
> Reporter: stephen mallette
> Assignee: Daniel Kuppitz
> Priority: Minor
> Fix For: 3.1.1-incubating
>
>
> If Gremlin Server is running (on the standard port) prior to generating docs
> then you get obscure errors that don't make it clear of the port conflict.
> Make it so that there is a check for a conflict on port 8182 at start of doc
> generation and quit early with a nice message if there is.
--
This message was sent by Atlassian JIRA
(v6.3.4#6332)