svoid rebootComputer() {
  if (isWindows())
    windows_reboot();
  else
    linux_reboot();
}