diff options
author | VirtualTam <virtualtam+github@flibidi.net> | 2018-06-20 16:59:29 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-06-20 16:59:29 +0200 |
commit | 6325e74caa464818000066b5112cfd293e168e50 (patch) | |
tree | 8c452980d8c7d6f98aa61e2d814377a1efc70fb3 /docker/debian/supervised.conf | |
parent | 26b0b2022870a540c1a6d54e949c4bdc1486daed (diff) | |
parent | c064d3179e0396983bdf8dee545388e4142ed842 (diff) | |
download | Shaarli-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.conf | 13 |
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] | ||
2 | command=/usr/sbin/php5-fpm -F | ||
3 | priority=5 | ||
4 | autostart=true | ||
5 | autorestart=true | ||
6 | |||
7 | [program:nginx] | ||
8 | command=/usr/sbin/nginx | ||
9 | priority=10 | ||
10 | autostart=true | ||
11 | autorestart=true | ||
12 | stdout_events_enabled=true | ||
13 | stderr_events_enabled=true | ||