Оказалось, что перегружать сервер из консоли очень просто. reboot от имени рута. Сейчас думаю о том, что надо всё-таки прописывать сервера домино так, что бы при остановке сервера в целом
сервера домино корректно останавливались. А то что это за такое?!