987       // open log file

   987       // open log file

   988       int fd = prepare_log_file(ErrorFile, "hs_err_pid%p.log", buffer, sizeof(buffer));

   988       int fd = prepare_log_file(ErrorFile, "hs_err_pid%p.log", buffer, sizeof(buffer));

   989       if (fd != -1) {

   989       if (fd != -1) {

   990         out.print_raw("# An error report file with more information is saved as:\n# ");

   990         out.print_raw("# An error report file with more information is saved as:\n# ");

   991         out.print_raw_cr(buffer);

   991         out.print_raw_cr(buffer);

   993 

   992 

   994         log.set_fd(fd);

   993         log.set_fd(fd);

   995       } else {

   994       } else {

   996         out.print_raw_cr("# Can not save log file, dump to screen..");

   995         out.print_raw_cr("# Can not save log file, dump to screen..");

   997         log.set_fd(defaultStream::output_fd());

   996         log.set_fd(defaultStream::output_fd());