appropriate / docker-jetty

Formerly the location of the Docker official image for Jetty
https://registry.hub.docker.com/_/jetty/
46 stars 46 forks source link

TMPDIR /tmp/jetty not used #111

Closed pstrh closed 4 years ago

pstrh commented 5 years ago

It seems that the environment variable TMPDIR /tmp/jetty that is set up in the Dockerfile is not used. Instead the /tmp folder (default system property) is used.

docker run -it jetty --list-config
// prints: java.io.tmpdir = /tmp

From my understanding the dry-run command that generated the jetty.start configuration must be called with the -Djava.io.tmpdir JVM argument.