Check if a temporary file was successfully closed

fix/skillcap
Andrei Kortunov 7 years ago
parent 12144de8ed
commit 369ea7e177

@ -182,8 +182,10 @@ static void gdb_info(pid_t pid)
/* Error creating temp file */ /* Error creating temp file */
if(fd >= 0) if(fd >= 0)
{ {
close(fd); if (close(fd) == 0)
remove(respfile); remove(respfile);
else
std::cerr << "Warning: can not close and remove file '" << respfile << "': " << std::strerror(errno) << std::endl;
} }
printf("!!! Could not create gdb command file\n"); printf("!!! Could not create gdb command file\n");
} }

Loading…
Cancel
Save