Be consistent and hold mutex in any case when returning from condition_t::timedwait().

[loba.git] / deployment.h

diff --git a/deployment.h b/deployment.h
index b3fa43a6b29b14faccb3ddf65ad82fd1fbcd31d4..e1e0d92c33d551046c7ca51aa8dffd68123c7436 100644 (file)
--- a/deployment.h
+++ b/deployment.h
@@ -10,6 +10,7 @@ void MY_launch_application();
 class deployment_generator {
 public:
     deployment_generator();
 class deployment_generator {
 public:
     deployment_generator();

+    virtual ~deployment_generator() { }

 
     size_t size() const { return hosts.size(); }
     void set_load(int host, double load);
 
     size_t size() const { return hosts.size(); }
     void set_load(int host, double load);