From b78a3e7d09b4f223a19a3f0482a082635c6ffb66 Mon Sep 17 00:00:00 2001 From: "Michael I. Bushnell" Date: Wed, 9 Nov 1994 06:46:12 +0000 Subject: (diskfs_S_file_exec): If diskfs_exec isn't already set, try to open it here. (Later, we should also deal if exec_exec returns that the previous server died.) --- libdiskfs/file-exec.c | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'libdiskfs') diff --git a/libdiskfs/file-exec.c b/libdiskfs/file-exec.c index 78f7f504..853170ff 100644 --- a/libdiskfs/file-exec.c +++ b/libdiskfs/file-exec.c @@ -49,6 +49,11 @@ diskfs_S_file_exec (struct protid *cred, if (!cred) return EOPNOTSUPP; + + if (diskfs_exec == MACH_PORT_NULL) + diskfs_exec = path_name_lookup (_SERVERS_EXEC, 0); + if (diskfs_exec == MACH_PORT_NULL) + return EOPNOTSUPP; np = cred->po->np; if ((cred->po->openstat & O_EXEC) == 0) -- cgit v1.2.3