diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1994-11-09 06:46:12 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1994-11-09 06:46:12 +0000 |
| commit | b78a3e7d09b4f223a19a3f0482a082635c6ffb66 (patch) | |
| tree | 7ed6263f93eb9a6c0b55f4ab9f677a2953a67240 /trans | |
| parent | 1ab1f6596b77abdec3628e6e4d057e61ba0808d2 (diff) | |
(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.)
Diffstat (limited to 'trans')
0 files changed, 0 insertions, 0 deletions