Update GraphDB Dockerfile
This commit is contained in:
parent
f92d2c6646
commit
9ece280e72
2 changed files with 10 additions and 7 deletions
|
|
@ -1,4 +1,4 @@
|
|||
# This container contains a Dockerfile for building a GraphDB zip.
|
||||
# This Dockerfile contains instructions to compile and run GraphDB inside a Docker container.
|
||||
# It is roughly based on https://github.com/Ontotext-AD/graphdb-docker/blob/master/free-edition/Dockerfile
|
||||
# but has been modified for performance and security.
|
||||
|
||||
|
|
@ -47,7 +47,7 @@ EXPOSE 7200
|
|||
|
||||
# setup a healthcheck, that checks if the server is up.
|
||||
RUN apt-get update && apt-get install -y curl
|
||||
HEALTHCHECK --interval=30s --timeout=30s --start-period=5s --retries=3 CMD curl --fail 127.0.0.1:7200 || exit 1
|
||||
HEALTHCHECK --interval=30s --timeout=30s --start-period=5s --retries=3 CMD curl --fail 127.0.0.1:7200/rest/repositories || exit 1
|
||||
|
||||
# Add volumes for data, work and logs as these might be accessible from the outside.
|
||||
# To add your own configuration, manually mount a config file into /opt/graphdb/work
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue