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 /proc/Makefile | |
| 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 'proc/Makefile')
0 files changed, 0 insertions, 0 deletions