X-Git-Url: http://git.onelab.eu/?a=blobdiff_plain;f=examples%2Fplanetlab_fix_gpgkeys.py;h=5bb2bf0345e788b2c31971b157dcd69be22d3189;hb=a18aaba21c2a78942b5427d20dee9fe517f055a2;hp=efb45716f9c9fc600025edc555d0c1fe2d15947e;hpb=52ff2dc0f2d8cdb3dacf1e2898cfaf806b15e572;p=nepi.git

diff --git a/examples/planetlab_fix_gpgkeys.py b/examples/planetlab_fix_gpgkeys.py
index efb45716..5bb2bf03 100644
--- a/examples/planetlab_fix_gpgkeys.py
+++ b/examples/planetlab_fix_gpgkeys.py
@@ -72,15 +72,17 @@ controller = ExperimentController(xml, root_dir)
 controller.start()
 
 stop = False
+
 while not stop:
+    time.sleep(0.5)
+
     stop = True
     for pl_app in set(apps):
         if not controller.is_finished(pl_app.guid):
-            apps.remove(pl_app)
             stop = False
             break
-
-    time.sleep(0.5)
+        else:
+            apps.remove(pl_app)
 
 controller.stop()
 controller.shutdown()