Changing ResourceManager naming for platform::ResourceName

[nepi.git] / examples / planetlab / ping_with_filters.py

diff --git a/examples/planetlab/ping_with_filters.py b/examples/planetlab/ping_with_filters.py
index 71f23d9..9f15733 100644 (file)
--- a/examples/planetlab/ping_with_filters.py
+++ b/examples/planetlab/ping_with_filters.py
@@ -34,7 +34,7 @@ def create_node(ec, pl_slice, pl_ssh_key, pl_user, pl_password,
        hostname = None, country = None, operatingSystem = None, 
        minBandwidth = None, minCpu = None):
 
-    node = ec.register_resource("PlanetlabNode")
+    node = ec.register_resource("planetlab::Node")
 
     ec.set(node, "username", pl_slice)
     ec.set(node, "identity", pl_ssh_key)
@@ -52,14 +52,14 @@ def create_node(ec, pl_slice, pl_ssh_key, pl_user, pl_password,
     if minCpu:
         ec.set(node, "minCpu", minCpu)
 
-    ec.set(node, "cleanHome", True)
+    ec.set(node, "cleanExperiment", True)
     ec.set(node, "cleanProcesses", True)
     
     return node
 
 def add_app(ec, command, node, newname = None, sudo = None, 
         video = None, depends = None, forward_x11 = None, env = None):
-    app = ec.register_resource("LinuxApplication")
+    app = ec.register_resource("linux::Application")
 
     if sudo is not None:
         ec.set(app, "sudo", sudo)