mirror of
https://github.com/element-hq/synapse.git
synced 2024-11-28 23:20:09 +03:00
166fafdf8d
Part of my continuing quest to make the docker images build quicker: copy nginx and redis in from base docker images, rather than apt installing each time.
33 lines
853 B
Django/Jinja
33 lines
853 B
Django/Jinja
# This file contains the base config for supervisord, as part of ../Dockerfile-workers.
|
|
# configure_workers_and_start.py uses and amends to this file depending on the workers
|
|
# that have been selected.
|
|
[supervisord]
|
|
nodaemon=true
|
|
user=root
|
|
|
|
[include]
|
|
files = /etc/supervisor/conf.d/*.conf
|
|
|
|
[program:nginx]
|
|
command=/usr/local/bin/prefix-log /usr/sbin/nginx -g "daemon off;"
|
|
priority=500
|
|
stdout_logfile=/dev/stdout
|
|
stdout_logfile_maxbytes=0
|
|
stderr_logfile=/dev/stderr
|
|
stderr_logfile_maxbytes=0
|
|
username=www-data
|
|
autorestart=true
|
|
|
|
[program:redis]
|
|
command=/usr/local/bin/prefix-log /usr/local/bin/redis-server
|
|
priority=1
|
|
stdout_logfile=/dev/stdout
|
|
stdout_logfile_maxbytes=0
|
|
stderr_logfile=/dev/stderr
|
|
stderr_logfile_maxbytes=0
|
|
username=redis
|
|
autorestart=true
|
|
|
|
# Redis can be disabled if the image is being used without workers
|
|
autostart={{ enable_redis }}
|
|
|