Merge pull request #4238 from dokku/ensure-dead-files

Ensure dead files are created for docker object retirement
This commit is contained in:
Jose Diaz-Gonzalez
2020-12-13 21:59:47 -05:00
committed by GitHub

View File

@@ -214,6 +214,7 @@ fn-scheduler-docker-local-register-retired() {
CURRENT_TIME="$(date +%s)"
DEAD_TIME=$((CURRENT_TIME + WAIT))
touch "$DEAD_FILE"
if ! grep -q "$DOCKER_ID" "$DEAD_FILE"; then
echo "${APP} ${DOCKER_ID} ${DEAD_TIME}" >>"${DEAD_FILE}"
fi