From bf513d6d2ecba0cf37fa57bc3506e6e07bfc66d7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Carlos=20Mart=C3=ADn?= <cmartins@fdi.ucm.es>
Date: Tue, 30 Aug 2011 16:41:26 +0200
Subject: [PATCH] Bug #772: Update the VNet object when a lease is set/unset

---
 src/vm/VirtualMachine.cc      | 2 ++
 src/vnm/VirtualNetworkPool.cc | 5 +++++
 2 files changed, 7 insertions(+)

diff --git a/src/vm/VirtualMachine.cc b/src/vm/VirtualMachine.cc
index bc07b80299..99a082ca9c 100644
--- a/src/vm/VirtualMachine.cc
+++ b/src/vm/VirtualMachine.cc
@@ -905,6 +905,8 @@ void VirtualMachine::release_network_leases()
         }
 
         vn->release_lease(ip);
+        vnpool->update(vn);
+
         vn->unlock();
     }
 }
diff --git a/src/vnm/VirtualNetworkPool.cc b/src/vnm/VirtualNetworkPool.cc
index eaa5294079..aecb58dec5 100644
--- a/src/vnm/VirtualNetworkPool.cc
+++ b/src/vnm/VirtualNetworkPool.cc
@@ -165,6 +165,11 @@ int VirtualNetworkPool::nic_attribute(VectorAttribute * nic, int uid, int vid)
 
     int rc = vnet->nic_attribute(nic,vid);
 
+    if ( rc == 0 )
+    {
+        update(vnet);
+    }
+
     vnet->unlock();
 
     return rc;