Restart of the web systemPublished Nov 9, 2021Updated Dec 14, 2021operational_info, shiny, web_hotel, wordpress The servers constituting our web site is going to have a restart Wed Nov 10, at 10:00 am. Downtime for individual components is going to be short (hopefully), but there may be short hiccups due to dependencies between servers.