Adopt --init for server container

Fixes #5
This commit is contained in:
Lukas Breuer 2018-10-24 14:06:10 +02:00
parent 0849b0ecad
commit a196fd3613
2 changed files with 3 additions and 9 deletions

View File

@ -10,14 +10,7 @@ ENV LANG=C.UTF-8
# Register pseudo-entrypoint
ADD ./entrypoint.sh /
RUN chmod a+x /entrypoint.sh
CMD ["/entrypoint.sh"]
# Set "real" entrypoint to an init system.
# TODO: Replace with --init when docker 18.06 is GA
ENV TINI_VERSION v0.18.0
ADD https://github.com/krallin/tini/releases/download/${TINI_VERSION}/tini /tini
RUN chmod +x /tini
ENTRYPOINT ["/tini", "--"]
ENTRYPOINT ["/entrypoint.sh"]
# Get build dependencies
RUN \

View File

@ -7,7 +7,7 @@ define(<env_inline>, <${upcase($1):?upcase($1)}>)
define(<env_inline_fb>, <${upcase($1):-$2}>)
{
"version": "3",
"version": "3.7",
ifdef(<__DOCKER_NETWORK>, <
"networks": {
@ -82,6 +82,7 @@ define(<env_inline_fb>, <${upcase($1):-$2}>)
>)
"server": {
"init": true,
"build": {
"context": ".",
"args": [