translucens
73739b7e85
revert builder's base image to based on OpenJDK8 (non-headless)
...
headless OpenJDK does not refer `http_proxy` environment variable, so build image inside proxy will fail.
resolves #98
2019-04-28 00:33:47 +09:00
translucens
f878c0ec22
replace fonts to Google noto fonts
2019-04-14 02:46:09 +09:00
morotti
1b07c6d9c2
use different container names for jetty and tomcat so they can be built in parallel without conflicting
2019-03-31 23:51:41 +01:00
Olaf Meeuwissen
73c23724db
Use ROOT as the BASE_URL
...
This fixes a misread of the README.md when preparing 055faca
.
2018-12-03 18:54:18 +09:00
Olaf Meeuwissen
38772dedd3
Revert "Revert "Make the server's BASE_URL configurable""
...
This reverts commit 5501258087
.
2018-12-03 18:30:47 +09:00
Arnaud Roques
5501258087
Revert "Make the server's BASE_URL configurable"
...
This reverts commit 055facac9e
.
2018-11-30 22:30:03 +01:00
Olaf Meeuwissen
055facac9e
Make the server's BASE_URL configurable
...
The "special" value of `ROOT` will serve requests on `/`. Any other
value should serve on `/$BASE_URL` (as long as there are no slashes
in `BASE_URL` at least).
The default has been set to `plantuml` to better match documentation
in the README.md file.
Re #80 , may help with #79 .
2018-11-15 22:09:14 +09:00
Olaf Meeuwissen
3ce59edba7
Fix rendering of non-sequence diagrams
...
Although sequence diagrams render fine without, any(?) other diagram
type requires the `GRAPHVIZ_DOT` environment variable to be set for
the server to produce usable output.
2018-11-15 21:59:52 +09:00
Olaf Meeuwissen
31a42da6bb
Support building behind a proxy
...
In order to use this functionality, you need to pass `--build-arg`
options for the `http_proxy`, `https_proxy` and `no_proxy` values
that are suitable for *your* build environment.
If not behind a proxy, simply don't pass any `*_proxy` build args.
2018-11-15 21:53:00 +09:00
Olaf Meeuwissen
d73dea3d58
Do not log download progress during build
...
This cuts down on the verbosity for at least some CI build logs.
2018-11-15 21:41:34 +09:00
Olaf Meeuwissen
f0b05ab711
Remove unneeded packages and environment variables from the builder
2018-11-15 21:34:32 +09:00
David Ducatel
7fb25caeca
Fix docker build problem on jetty
2017-12-13 10:31:39 +01:00
David Ducatel
ae00bcc116
update build process
...
Using multi stage build in dockerfile
2017-10-20 20:20:26 +02:00
Adam Wałach
e95d301524
Fix tomcat dockerfile
...
ROOT.war is not deployed if old ROOT directory is present
2017-08-31 14:13:35 +02:00
David Ducatel
5dd56095ba
Add new docker images
...
Add tomcat container, jetty tag and self-builded docker file
2017-04-28 10:53:11 +02:00
Thiyag Krishna
9e7679508e
removed previous file
2017-04-23 22:05:01 -04:00
Arnaud Roques
e12c8e6661
Restore Added support for running docker behind firewall
2017-04-21 22:54:59 +02:00