1st December 2018

Denethor Server reboot took too long to reboot

Issue fixed