GitHub user afs opened a pull request:
https://github.com/apache/jena/pull/496
JENA-1638: Fuseki cleanup.
You can merge this pull request into a Git repository by running:
$ git pull https://github.com/afs/jena fuseki-misc
Alternatively you can review and apply these changes as the patch at:
https://github.com/apache/jena/pull/496.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 #496
----
commit cd42e6a8501b2d071c8336e194cbd78a92ca9cb1
Author: Andy Seaborne <andy@...>
Date: 2018-11-23T13:53:12Z
JENA-1638: Add /$/status as synonym for /$/server.
commit a29429dd7713824f1dd95c18fbdf4c47d3864654
Author: Andy Seaborne <andy@...>
Date: 2018-11-23T13:54:31Z
JENA-1638: Ping and stats server endpoints.
Command line: --withPing and --withStats
Config: "fuseki:pingEP true" "fuseki:statsEP true"
----
---
