git://git.onelab.eu
/
tests.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
another round of rework
[tests.git]
/
system
/
template-qemu
/
qemu-kill-node
diff --git
a/system/template-qemu/kill-qemu-node
b/system/template-qemu/qemu-kill-node
similarity index 94%
rename from
system/template-qemu/kill-qemu-node
rename to
system/template-qemu/qemu-kill-node
index
0ac501e
..
830d33d
100755
(executable)
--- a/
system/template-qemu/kill-qemu-node
+++ b/
system/template-qemu/qemu-kill-node
@@
-31,6
+31,8
@@
function kill_from_file () {
echo Killing $pid
kill $pid
mv $file $file.killed
+ else
+ echo "Could not find file $file - that qemu was killed already"
fi
}