comparison: src/server/util/system.c
src/server/util/system.c
- changeset 450
- d7b276de183b
- parent 179
- ef6827505bd2
equal
deleted
inserted
replaced
| 449:a28a5ccc894b | 450:d7b276de183b |
|---|---|
| 331 int system_close(int fd) { | 331 int system_close(int fd) { |
| 332 while(close(fd)) { | 332 while(close(fd)) { |
| 333 if(errno != EINTR) { | 333 if(errno != EINTR) { |
| 334 return -1; | 334 return -1; |
| 335 } else { | 335 } else { |
| 336 log_ereport(LOG_VERBOSE, "close interrupted by signal"); // TODO: use debug log level | 336 log_ereport(LOG_DEBUG, "close interrupted by signal"); |
| 337 } | 337 } |
| 338 } | 338 } |
| 339 return 0; | 339 return 0; |
| 340 } | 340 } |
| 341 | 341 |
