From 2b90964e33703be3876c2301fda50150c4f8b9e2 Mon Sep 17 00:00:00 2001
From: Thomas Veerman <thomas@minix3.org>
Date: Fri, 15 Feb 2013 16:09:24 +0100
Subject: [PATCH] VFS: don't garbage collect if file is already closed

---
 servers/vfs/filedes.c | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/servers/vfs/filedes.c b/servers/vfs/filedes.c
index b0a19911e..b3914757b 100644
--- a/servers/vfs/filedes.c
+++ b/servers/vfs/filedes.c
@@ -86,6 +86,15 @@ void *do_filp_gc(void *UNUSED(arg))
 
   for (f = &filp[0]; f < &filp[NR_FILPS]; f++) {
 	if (!(f->filp_state & FS_INVALIDATED)) continue;
+
+	if (f->filp_mode == FILP_CLOSED || f->filp_vno == NULL) {
+		/* File was already closed before gc could kick in */
+		assert(f->filp_count <= 0);
+		f->filp_state &= ~FS_INVALIDATED;
+		f->filp_count = 0;
+		continue;
+	}
+
 	assert(f->filp_vno != NULL);
 	vp = f->filp_vno;
 
-- 
2.44.0