diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1995-09-13 18:49:52 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1995-09-13 18:49:52 +0000 |
| commit | 5e8522b21c9bafea378c6d2d150a87fb398035db (patch) | |
| tree | ed148919f77f33fd2b3794054602c7ac6196884d /proc/host.c | |
| parent | 7dac7fa340fc09e2bc615ca97b498493efce7566 (diff) | |
(_pager_seqnos_memory_object_lock_completed): Don't push the
locks_pending field negative in the case where the pager was
terminated before we get called.
Diffstat (limited to 'proc/host.c')
0 files changed, 0 insertions, 0 deletions