Minor cleanup

2015-07-04 22:23:10 +03:00
parent 3064cf8101
commit 22e1da5e76
19 changed files with 166 additions and 249 deletions
@@ -1307,6 +1307,7 @@ void thread_t::start(std::function<std::string()> name, std::function<void()> fu
 		}

 		//ctrl->set_current(false);
+		vm::reservation_free();

 		g_thread_count--;