From 44cfc414ee4fff92d75ae0312f64bebeff87f48b Mon Sep 17 00:00:00 2001
From: Emery Hemingway <emery@vfemail.net>
Date: Fri, 30 Oct 2015 16:44:33 +0100
Subject: [PATCH] VFS server: throw Not_empty

Issue #1750
---
 repos/os/src/server/vfs/assert.h | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/repos/os/src/server/vfs/assert.h b/repos/os/src/server/vfs/assert.h
index a4ffe6fe9..9ed248f1e 100644
--- a/repos/os/src/server/vfs/assert.h
+++ b/repos/os/src/server/vfs/assert.h
@@ -80,8 +80,9 @@ namespace File_system {
 	{
 		typedef Directory_service::Unlink_result Result;
 		switch (r) {
-		case Result::UNLINK_ERR_NO_ENTRY: throw Lookup_failed();
-		case Result::UNLINK_ERR_NO_PERM:  throw Permission_denied();
+		case Result::UNLINK_ERR_NO_ENTRY:  throw Lookup_failed();
+		case Result::UNLINK_ERR_NO_PERM:   throw Permission_denied();
+		case Result::UNLINK_ERR_NOT_EMPTY: throw Not_empty();
 		case Result::UNLINK_OK: break;
 		}
 	}