cxx: Replaced abort() in thread.cpp with USER_PANIC().
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Wed, 18 Feb 2015 15:44:21 +0000 (16:44 +0100)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Mon, 9 Mar 2015 14:36:21 +0000 (15:36 +0100)
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

lib/cxx/cxx/thread.cpp

index e825563..0d4bc24 100644 (file)
@@ -28,6 +28,7 @@ extern "C" {
 #endif
 
 #ifdef BARRELFISH
+#include <barrelfish/debug.h> // for USER_PANIC
 #include <barrelfish/deferred.h> // for barrelfish_usleep()
 #endif
 
@@ -70,7 +71,7 @@ thread::detach()
 #else
        /* todo: thread_detach() */
 //     thread_detach(__t__);
-      abort();
+    USER_PANIC("thread_detach() NYI");
     // throw system_error(error_code(ENOSYS, system_category()), "thread::detach not implemented");
 #endif
 }