fixed kill_qemus : uses qemu -pidfile for locating pids
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Fri, 28 Mar 2008 11:05:38 +0000 (11:05 +0000)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Fri, 28 Mar 2008 11:05:38 +0000 (11:05 +0000)
commit480199da582fb49c047bf615faccb06656a5fcbe
tree58b2174419b5a96d5b3b5cacfb785ac89bf267fd
parenta1f95a6336c974b085796e73072364fdcc7f13be
fixed kill_qemus : uses qemu -pidfile for locating pids
system/TestBox.py
system/TestMain.py
system/TestNode.py
system/TestPlc.py
system/qemu_kill.sh [deleted file]
system/template-qemu/kill-qemu-node [new file with mode: 0755]
system/template-qemu/start-qemu-node