Changing ResourceManager naming for platform::ResourceName

[nepi.git] / examples / linux / ping.py

diff --git a/examples/linux/ping.py b/examples/linux/ping.py
index 3e9f03a..0b8715a 100644 (file)
--- a/examples/linux/ping.py
+++ b/examples/linux/ping.py
@@ -47,14 +47,14 @@ ssh_key = options.ssh_key
 
 ec = ExperimentController(exp_id = "ping-exp")
         
-node = ec.register_resource("LinuxNode")
+node = ec.register_resource("linux::Node")
 ec.set(node, "hostname", hostname)
 ec.set(node, "username", username)
 ec.set(node, "identity", ssh_key)
-ec.set(node, "cleanHome", True)
+ec.set(node, "cleanExperiment", True)
 ec.set(node, "cleanProcesses", True)
 
-app = ec.register_resource("LinuxApplication")
+app = ec.register_resource("linux::Application")
 ec.set(app, "command", "ping -c3 nepi.inria.fr")
 ec.register_connection(app, node)