diff options
| author | 2025-09-11 09:43:28 +0200 | |
|---|---|---|
| committer | 2025-09-11 09:43:28 +0200 | |
| commit | c8da217e875c2371a8d1d13a678e2a811d906922 (patch) | |
| tree | 4d0c583bd3d210646886ae631f70cf1aae8b9ea4 /Docker/README.md | |
| 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/README.md')
| -rw-r--r-- | Docker/README.md | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/Docker/README.md b/Docker/README.md index 095c189c7..a641921c1 100644 --- a/Docker/README.md +++ b/Docker/README.md @@ -338,7 +338,7 @@ services: TZ: Europe/Paris # Cron job to refresh feeds at specified minutes CRON_MIN: '2,32' - # 'development' for additional logs; default is 'production' + # Optional 'development' for additional logs; default is 'production' FRESHRSS_ENV: development # Optional advanced parameter controlling the internal Apache listening port LISTEN: 0.0.0.0:80 @@ -372,6 +372,14 @@ services: --language en --password ${ADMIN_PASSWORD} --user admin + # Optional healthcheck + healthcheck: + test: ["CMD", "cli/health.php"] + timeout: 10s + start_period: 60s + start_interval: 11s + interval: 75s + retries: 3 ``` ### Docker Compose with PostgreSQL |
