diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1994-09-12 18:38:52 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1994-09-12 18:38:52 +0000 |
| commit | eb6621cff2b87c7f3f89a774cac2bf57a10f3b51 (patch) | |
| tree | bc645c41c7581a1e5e94b6505b932fa25c0b7601 | |
| parent | 15f4929fbfa45a940054701f31f076a1ea017e6e (diff) | |
Formerly fsys-getroot.c.~17~
| -rw-r--r-- | libdiskfs/fsys-getroot.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/libdiskfs/fsys-getroot.c b/libdiskfs/fsys-getroot.c index da489e1f..89932022 100644 --- a/libdiskfs/fsys-getroot.c +++ b/libdiskfs/fsys-getroot.c @@ -85,7 +85,7 @@ diskfs_S_fsys_getroot (fsys_t controlport, error = fsys_getroot (childcontrol, dotdot, MACH_MSG_TYPE_COPY_SEND, uids, nuids, gids, ngids, flags, retry, retryname, returned_port); - if (error == MACH_SEND_INVALID_DEST) + if (error == MACH_SEND_INVALID_DEST || error == MIG_SERVER_DIED) { /* The server has died; unrecord the translator port and repeat the check. */ |