diff options
Diffstat (limited to 'TAO/tao/Dynamic_TP/DTP_Thread_Pool.h')
| -rw-r--r-- | TAO/tao/Dynamic_TP/DTP_Thread_Pool.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/TAO/tao/Dynamic_TP/DTP_Thread_Pool.h b/TAO/tao/Dynamic_TP/DTP_Thread_Pool.h index 1577ebfd619..8f174815321 100644 --- a/TAO/tao/Dynamic_TP/DTP_Thread_Pool.h +++ b/TAO/tao/Dynamic_TP/DTP_Thread_Pool.h @@ -56,7 +56,7 @@ public: /// Leader/Follower class uses this method to notify the system that /// we are out of leaders. - void no_leaders_available (void); + bool no_leaders_available (void); private: |