Attention une mise à jour du service Gitlab va être effectuée le mardi 30 novembre entre 17h30 et 18h00. Cette mise à jour va générer une interruption du service dont nous ne maîtrisons pas complètement la durée mais qui ne devrait pas excéder quelques minutes. Cette mise à jour intermédiaire en version 14.0.12 nous permettra de rapidement pouvoir mettre à votre disposition une version plus récente.

Commit fc7f1954 authored by Mikaël Salson's avatar Mikaël Salson Committed by marc duez
Browse files

admin.py: Make scheduler die.

I don't know if that's necessary but we try to make sure that workers will
actually restart.
parent 9395d437
Pipeline #222018 passed with stages
in 16 minutes and 1 second
......@@ -199,6 +199,7 @@ def reset_workers():
running_jobs = db((db.scheduler_task.status == RUNNING) | (db.scheduler_task.status == ASSIGNED)).count()
if running_jobs == 0:
db(db.scheduler_worker.id > 0).delete()
scheduler.die()
db.commit()
res = {"success" : "true", "message" : "Workers have been reset "}
else:
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment