diff options
author | Roland McGrath <roland@gnu.org> | 1998-12-27 08:40:19 +0000 |
---|---|---|
committer | Roland McGrath <roland@gnu.org> | 1998-12-27 08:40:19 +0000 |
commit | 2c026d41553528d0fdb0fe795b99ddd6c5e68b74 (patch) | |
tree | 220b100ef8e35fea89787a60a7b462dca6d54388 /pfinet/main.c | |
parent | 0065c772cc7edabd370c2d0d96263b3500624421 (diff) |
1998-12-21 Roland McGrath <roland@baalperazim.frob.com>
* file-exec.c (diskfs_S_file_exec): If exec server port is stale, try
once to look up a new one.
Diffstat (limited to 'pfinet/main.c')
0 files changed, 0 insertions, 0 deletions