diff options
Diffstat (limited to 'CIAO/ciao/Deployment/Handlers/Home_Handler.h')
| -rw-r--r-- | CIAO/ciao/Deployment/Handlers/Home_Handler.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/CIAO/ciao/Deployment/Handlers/Home_Handler.h b/CIAO/ciao/Deployment/Handlers/Home_Handler.h index eb3eff5f5a4..c0fb632c29f 100644 --- a/CIAO/ciao/Deployment/Handlers/Home_Handler.h +++ b/CIAO/ciao/Deployment/Handlers/Home_Handler.h @@ -87,6 +87,7 @@ namespace CIAO private: Deployment_Common::INSTANCES instances_; + TAO_SYNCH_MUTEX instances_mutex_; }; } |