*** empty log message ***
*** empty log message ***
Added a new method create_servant_lock ().
*** empty log message ***
*** empty log message ***
*** empty log message ***
*** empty log message ***
*** empty log message ***
Added a new method create_servant_lock ().
*** empty log message ***
*** empty log message ***
*** empty log message ***
*** empty log message ***
Removed an unreferenced variable.
*** empty log message ***
Forgot to consider platforms without thread support.
*** empty log message ***
*** empty log message ***
*** empty log message ***