diff options
author | VirtualTam <virtualtam+github@flibidi.net> | 2018-06-20 16:29:27 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-06-20 16:29:27 +0200 |
commit | 5420c87e22570c8aface1dfe5fc1f54bd6bb4845 (patch) | |
tree | 8a9587a53f0161fe95141d982ff4cea40075372b /docker/debian/supervised.conf | |
parent | e36479d9ffd71b504bc99501ea1fef2579ff46b6 (diff) | |
parent | decae8c119e0f4750d10909abc47d8afb89af362 (diff) | |
download | Shaarli-5420c87e22570c8aface1dfe5fc1f54bd6bb4845.tar.gz Shaarli-5420c87e22570c8aface1dfe5fc1f54bd6bb4845.tar.zst Shaarli-5420c87e22570c8aface1dfe5fc1f54bd6bb4845.zip |
Merge pull request #1157 from virtualtam/v0.9-dockerfile
v0.9 - 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 | ||