svoid rebootComputer() {
  logQuotedWithDate(rebootLogFile(), "Rebooting computer");
  if (isWindows())
    windows_reboot();
  else
    linux_reboot();
}