From 276b83ee1add20070bb4424c20ef91af6fa54f8b Mon Sep 17 00:00:00 2001
From: Baptiste Wicht <baptiste.wicht@gmail.com>
Date: Thu, 13 Feb 2014 18:49:45 +0100
Subject: [PATCH] Cleanup

---
 kernel/src/scheduler.cpp | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/kernel/src/scheduler.cpp b/kernel/src/scheduler.cpp
index 1f4f0523..647b88e9 100644
--- a/kernel/src/scheduler.cpp
+++ b/kernel/src/scheduler.cpp
@@ -815,11 +815,15 @@ size_t scheduler::register_new_handle(const std::string& path){
 }
 
 void scheduler::release_handle(size_t fd){
-    pcb[current_pid].handles[fd] = nullptr;
+    pcb[current_pid].handles[fd].clear();
 }
 
 bool scheduler::has_handle(size_t fd){
-    return pcb[current_pid].handles.size() - 1 <= fd;
+    if(fd < pcb[current_pid].handles.size()){
+        return pcb[current_pid].handles[fd].empty();
+    }
+
+    return false;
 }
 
 const std::string& scheduler::get_handle(size_t fd){