diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1996-06-24 20:59:05 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1996-06-24 20:59:05 +0000 |
| commit | 4743827a8b5c02dc98eb539af073f9cfd280e414 (patch) | |
| tree | 4b0e12962c83c9426b8b0e89c62d151e8d4c8dce /libdirmgt | |
| parent | 88253a56136a2800ebd59d72aafdd04c630bc316 (diff) | |
(diskfs_shutdown_pager): Don't shutdown DISKPAGER ever, just sync it
instead.
Diffstat (limited to 'libdirmgt')
0 files changed, 0 insertions, 0 deletions