+= thread_cancel

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@3740 48e7efb5-ca39-0410-a469-dd3cf9ba447f

diff --git a/src/include/xbt/xbt_os_thread.h b/src/include/xbt/xbt_os_thread.h
index fc37c29..3f9122b 100644 (file)
--- a/src/include/xbt/xbt_os_thread.h
+++ b/src/include/xbt/xbt_os_thread.h
@@ -34,6 +34,7 @@ SG_BEGIN_DECL()
   /* xbt_os_thread_join frees the joined thread (ie the XBT wrapper around it, the OS frees the rest) */
   XBT_PUBLIC(void) xbt_os_thread_join(xbt_os_thread_t thread,void ** thread_return);
   XBT_PUBLIC(void) xbt_os_thread_yield(void);
   /* xbt_os_thread_join frees the joined thread (ie the XBT wrapper around it, the OS frees the rest) */
   XBT_PUBLIC(void) xbt_os_thread_join(xbt_os_thread_t thread,void ** thread_return);
   XBT_PUBLIC(void) xbt_os_thread_yield(void);

+  XBT_PUBLIC(void) xbt_os_thread_cancel(xbt_os_thread_t thread);

   XBT_PUBLIC(void*) xbt_os_thread_getparam(void);
 
 
   XBT_PUBLIC(void*) xbt_os_thread_getparam(void);