diff --git a/src/graphical-interface.impl.cpp b/src/graphical-interface.impl.cpp index c018d25ff6c8ffa35f2727e68f1d6a1700ac9766..3394473a92d45b57f7ce9f80a85e1b8c1251d94b 100644 --- a/src/graphical-interface.impl.cpp +++ b/src/graphical-interface.impl.cpp @@ -50,9 +50,7 @@ namespace graphics { void GraphicalInterface::refresh () throw (Error) { try { - mtx_.lock(); return windowsManager_->refresh (); - mtx_.unlock(); } catch (const std::exception& exc) { throw Error (exc.what ()); } @@ -323,9 +321,7 @@ namespace graphics { bool GraphicalInterface::applyConfiguration (const char* nodeNameCorba, const value_type* configurationCorba) throw (Error) { try { - mtx_.lock(); return windowsManager_->applyConfiguration ( nodeNameCorba, configurationCorba) ; - mtx_.unlock(); } catch (const std::exception& exc) { throw Error (exc.what ()); }