missing level-- in out-of-memory case.

diff --git a/servers/vm/i386/pagetable.c b/servers/vm/i386/pagetable.c
index 93b2618c285050f06c7acda83afcae53ad137a07..9d045ea32a262007d970fcfa3259e5dfec3e9a77 100644 (file)
--- a/servers/vm/i386/pagetable.c
+++ b/servers/vm/i386/pagetable.c
@@ -317,6 +317,7 @@ PUBLIC void *vm_allocpage(phys_bytes *phys, int reason)
                I386_VM_PRESENT | I386_VM_USER | I386_VM_WRITE, 0)) != OK) {
                FREE_MEM(newpage, CLICKSPERPAGE);
                printf("vm_allocpage writemap failed\n", ret);
+               level--;
                return NULL;
        }