Reboot of scheduler

Updated on 14/07/2021

Reboot done, all is back to normal.

On Wednesday July 14 at 20:00 the scheduler will be unavailable for 15 minutes because of reboot.

We are updating the system that runs the scheduler server and it requires a full reboot.