diff options
| -rw-r--r-- | src/process.c | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/src/process.c b/src/process.c index 3c62349a898..013a3128979 100644 --- a/src/process.c +++ b/src/process.c | |||
| @@ -1514,7 +1514,15 @@ Fourth arg SERVICE is name of the service desired, or an integer\n\ | |||
| 1514 | } | 1514 | } |
| 1515 | 1515 | ||
| 1516 | #ifndef TERM | 1516 | #ifndef TERM |
| 1517 | host_info_ptr = gethostbyname (XSTRING (host)->data); | 1517 | while (1) |
| 1518 | { | ||
| 1519 | host_info_ptr = gethostbyname (XSTRING (host)->data); | ||
| 1520 | #ifdef TRY_AGAIN | ||
| 1521 | if (! (host_info_ptr == 0 && h_errno == TRY_AGAIN)) | ||
| 1522 | #endif | ||
| 1523 | break; | ||
| 1524 | Fsleep_for (make_number (1), Qnil); | ||
| 1525 | } | ||
| 1518 | if (host_info_ptr == 0) | 1526 | if (host_info_ptr == 0) |
| 1519 | /* Attempt to interpret host as numeric inet address */ | 1527 | /* Attempt to interpret host as numeric inet address */ |
| 1520 | { | 1528 | { |