7da2560242
The health endpoint in the Docker container's healthcheck command is currently pointing to `/users/me`. But we have a designated endpoint for this, at `/health`. This PR switches to using this endpoint instead. |
||
|---|---|---|
| .. | ||
| healthcheck.sh | ||
| init_ssl_cert.sh | ||
| install_docker.sh | ||
| pull_resource.sh | ||
| renew-certificate.sh | ||
| run-java.sh | ||
| run-nginx.sh | ||
| run-starting-page-init.sh | ||
| run-with-env.sh | ||
| start_app.sh | ||
| starting-page-init.py | ||
| update-and-restart-supervisor.sh | ||