aboutsummaryrefslogtreecommitdiffhomepage
path: root/docker/debian/supervised.conf
diff options
context:
space:
mode:
authorVirtualTam <virtualtam+github@flibidi.net>2018-06-20 16:59:29 +0200
committerGitHub <noreply@github.com>2018-06-20 16:59:29 +0200
commit6325e74caa464818000066b5112cfd293e168e50 (patch)
tree8c452980d8c7d6f98aa61e2d814377a1efc70fb3 /docker/debian/supervised.conf
parent26b0b2022870a540c1a6d54e949c4bdc1486daed (diff)
parentc064d3179e0396983bdf8dee545388e4142ed842 (diff)
downloadShaarli-6325e74caa464818000066b5112cfd293e168e50.tar.gz
Shaarli-6325e74caa464818000066b5112cfd293e168e50.tar.zst
Shaarli-6325e74caa464818000066b5112cfd293e168e50.zip
Merge pull request #1158 from virtualtam/master-dockerfile
Master: Build the Docker images from the local sources
Diffstat (limited to 'docker/debian/supervised.conf')
-rw-r--r--docker/debian/supervised.conf13
1 files changed, 0 insertions, 13 deletions
diff --git a/docker/debian/supervised.conf b/docker/debian/supervised.conf
deleted file mode 100644
index 5acd9795..00000000
--- a/docker/debian/supervised.conf
+++ /dev/null
@@ -1,13 +0,0 @@
1[program:php5-fpm]
2command=/usr/sbin/php5-fpm -F
3priority=5
4autostart=true
5autorestart=true
6
7[program:nginx]
8command=/usr/sbin/nginx
9priority=10
10autostart=true
11autorestart=true
12stdout_events_enabled=true
13stderr_events_enabled=true