From e1a6ae1bc44f576e54b02dfddce0dbe2ba28a6cd Mon Sep 17 00:00:00 2001 From: Mike Dillon Date: Tue, 11 Aug 2015 19:15:16 -0700 Subject: [PATCH] Add a section heading for ENVIRONMENT --- jetty/content.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/jetty/content.md b/jetty/content.md index c9136ba5b..b7c3e6083 100644 --- a/jetty/content.md +++ b/jetty/content.md @@ -22,6 +22,8 @@ $ docker run -d -p 8888:8080 %%REPO%% This will map port 8080 inside the container as port 80 on the host and container port 8443 as host port 443. You can then go to `http://host-ip` or `https://host-ip` in a browser. +## Environment + The default Jetty environment in the image is: JETTY_HOME = /usr/local/jetty