diff options
| author | 2025-09-11 09:43:28 +0200 | |
|---|---|---|
| committer | 2025-09-11 09:43:28 +0200 | |
| commit | c8da217e875c2371a8d1d13a678e2a811d906922 (patch) | |
| tree | 4d0c583bd3d210646886ae631f70cf1aae8b9ea4 /Docker/freshrss | |
| parent | 8e8ff4014d9dcdb4cdb57b2d82f0d5355d1a5dce (diff) | |
Docker healthcheck (#7945)
* Docker healthcheck
fix https://github.com/FreshRSS/FreshRSS/issues/7377
* Use echo for non-CLI error
* curl_close is deprecated
* Connection: close
* Update cli/health.php
Co-authored-by: Frans de Jonge <fransdejonge@gmail.com>
---------
Co-authored-by: Frans de Jonge <fransdejonge@gmail.com>
Diffstat (limited to 'Docker/freshrss')
| -rw-r--r-- | Docker/freshrss/docker-compose.yml | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/Docker/freshrss/docker-compose.yml b/Docker/freshrss/docker-compose.yml index e1f66179b..e9ff40240 100644 --- a/Docker/freshrss/docker-compose.yml +++ b/Docker/freshrss/docker-compose.yml @@ -23,3 +23,11 @@ services: TZ: Europe/Paris CRON_MIN: '3,33' TRUSTED_PROXY: 172.16.0.1/12 192.168.0.1/16 + # # Optional healthcheck section: + # healthcheck: + # test: ["CMD", "cli/health.php"] + # timeout: 10s + # start_period: 60s + # start_interval: 11s + # interval: 75s + # retries: 3 |
