diff -r 7b4c82f07281 stubdom/stubdom-dm --- a/stubdom/stubdom-dm Wed Jan 05 23:54:15 2011 +0000 +++ b/stubdom/stubdom-dm Mon Jan 10 02:31:19 2011 -0500 @@ -91,7 +91,7 @@ ############ # stubdomain # Wait for any previous stubdom to terminate -while xm list | grep $domname-dm +while xm list | grep -w $domname-dm do sleep 1 done