1529 

  1529 

  1530   CloseHandle(hProcess);

  1530   CloseHandle(hProcess);

  1531   return result;

  1531   return result;

  1532 }

  1532 }

  1533 

  1533 

  1535 bool os::get_host_name(char* buf, size_t buflen) {

  1534 bool os::get_host_name(char* buf, size_t buflen) {

  1536   DWORD size = (DWORD)buflen;

  1535   DWORD size = (DWORD)buflen;

  1537   return (GetComputerNameEx(ComputerNameDnsHostname, buf, &size) == TRUE);

  1536   return (GetComputerNameEx(ComputerNameDnsHostname, buf, &size) == TRUE);

  1538 }

  1537 }

  1540 

  1538 

  1541 void os::get_summary_os_info(char* buf, size_t buflen) {

  1539 void os::get_summary_os_info(char* buf, size_t buflen) {

  1542   stringStream sst(buf, buflen);

  1540   stringStream sst(buf, buflen);

  1543   os::win32::print_windows_version(&sst);

  1541   os::win32::print_windows_version(&sst);

  1544   // chop off newline character

  1542   // chop off newline character