diff options
| author | Miles Bader <miles@gnu.org> | 1997-02-12 17:21:57 +0000 |
|---|---|---|
| committer | Miles Bader <miles@gnu.org> | 1997-02-12 17:21:57 +0000 |
| commit | 4ef476d9e24d08d53a0f0224095e529248f4eb83 (patch) | |
| tree | 705417dba2b171978fb58d2823554f62d8e5268a | |
| parent | c4a39280e76e245546ad14c338d6c2b30a1802da (diff) | |
(_pager_seqnos_memory_object_data_request):
Deal with _pager_pagemap_resize failing.
| -rw-r--r-- | libpager/data-request.c | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/libpager/data-request.c b/libpager/data-request.c index 341fb924..0c6d1625 100644 --- a/libpager/data-request.c +++ b/libpager/data-request.c @@ -1,5 +1,5 @@ /* Implementation of memory_object_data_request for pager library - Copyright (C) 1994, 1995, 1996 Free Software Foundation + Copyright (C) 1994, 1995, 1996, 1997 Free Software Foundation This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as @@ -72,7 +72,9 @@ _pager_seqnos_memory_object_data_request (mach_port_t object, goto allow_term_out; } - _pager_pagemap_resize (p, offset + length); + err = _pager_pagemap_resize (p, offset + length); + if (err) + goto release_out; /* Can't do much about the actual error. */ /* If someone is paging this out right now, the disk contents are unreliable, so we have to wait. It is too expensive (right now) to |