diff options
Diffstat (limited to 'externals/grill/flext/source/flsupport.h')
| -rw-r--r-- | externals/grill/flext/source/flsupport.h | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/externals/grill/flext/source/flsupport.h b/externals/grill/flext/source/flsupport.h index c3141a16..b2a157c6 100644 --- a/externals/grill/flext/source/flsupport.h +++ b/externals/grill/flext/source/flsupport.h @@ -741,7 +741,10 @@ public: /*! \brief Get system thread id */ static thrid_t GetSysThreadId(); - + + //! Check if current thread should terminate + static bool ShouldExit(); + //! Check if current thread is the realtime system's thread static bool IsThread(thrid_t t,thrid_t ref = GetThreadId()) { #if FLEXT_THREADS == FLEXT_THR_POSIX |