diff options
author | Roland McGrath <roland@gnu.org> | 1996-05-07 20:24:46 +0000 |
---|---|---|
committer | Roland McGrath <roland@gnu.org> | 1996-05-07 20:24:46 +0000 |
commit | 336896c2be5fc60ced34af5027213738d6dbdbdf (patch) | |
tree | 4288e16c250876e821d9713a31e8492dc73013af /exec | |
parent | de7c859daddbf305ed0d41c509df7b0f7898d3c9 (diff) |
(check_hashbang): Use io_identity instead of io_stat to compare files.
Diffstat (limited to 'exec')
-rw-r--r-- | exec/hashexec.c | 26 |
1 files changed, 13 insertions, 13 deletions
diff --git a/exec/hashexec.c b/exec/hashexec.c index 6d876dba..0e1f1e10 100644 --- a/exec/hashexec.c +++ b/exec/hashexec.c @@ -208,10 +208,9 @@ check_hashbang (struct execdata *e, char *name; int free_name = 0; /* True if we should free NAME. */ file_t name_file; - struct stat st; - int file_fstype; - fsid_t file_fsid; - ino_t file_fileno; + mach_port_t fileid; + dev_t filedev; + ino_t fileno; /* Search $PATH for NAME, opening a port NAME_FILE on it. This is encapsulated in a function so we can catch faults @@ -240,12 +239,9 @@ check_hashbang (struct execdata *e, return err; } - error = io_stat (file, &st); /* XXX insecure */ + error = io_identity (file, &fileid, &filedev, &fileno); if (error) goto out; - file_fstype = st.st_fstype; - file_fsid = st.st_fsid; - file_fileno = st.st_ino; if (memchr (argv, '\0', argvlen) == NULL) { @@ -266,18 +262,22 @@ check_hashbang (struct execdata *e, if (!error && name_file != MACH_PORT_NULL) { - if (!io_stat (name_file, &st) && /* XXX insecure */ - st.st_fstype == file_fstype && - st.st_fsid == file_fsid && - st.st_ino == file_fileno) + mach_port_t id; + dev_t dev; + ino_t ino; + error = io_identity (name_file, &id, &dev, &ino); + __mach_port_deallocate (__mach_task_self (), id); + if (!error && id == fileid) { file_name = name; free_file_name = free_name; } else if (free_name) free (name); - mach_port_deallocate (mach_task_self (), name_file); + __mach_port_deallocate (__mach_task_self (), name_file); } + + __mach_port_deallocate (__mach_task_self (), fileid); } if (file_name == NULL) |