[#912] Improve a bit the robustness of the cider-restart command