From f87a91ce957f0f4dfcf415f74744f3a311886c22 Mon Sep 17 00:00:00 2001
From: Ben Gras <ben@minix3.org>
Date: Wed, 23 Sep 2009 15:19:36 +0000
Subject: [PATCH] missing level-- in out-of-memory case.

---
 servers/vm/i386/pagetable.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/servers/vm/i386/pagetable.c b/servers/vm/i386/pagetable.c
index 93b2618c2..9d045ea32 100644
--- 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;
 	}