ia64/xen-unstable

changeset 11686:e229687561cf

[TOOLS] Fix xendomains init.d script DOG PIG confusion.

Fix typos in xendomains where we actually mean WDOG_PID.
http://bugzilla.xensource.com/bugzilla/show_bug.cgi?id=754

Signed-off-by: Alastair Tse <atse@xensource.com>
author Alastair Tse <atse@xensource.com>
date Fri Sep 29 11:25:25 2006 +0100 (2006-09-29)
parents 9eb80d41c724
children 792fb641ea7b
files tools/examples/init.d/xendomains
line diff
     1.1 --- a/tools/examples/init.d/xendomains	Fri Sep 29 11:28:04 2006 +0100
     1.2 +++ b/tools/examples/init.d/xendomains	Fri Sep 29 11:25:25 2006 +0100
     1.3 @@ -352,9 +352,9 @@ stop()
     1.4  	    if test $? -ne 0; then
     1.5  		rc_failed $?
     1.6  		echo -n '!'
     1.7 -		kill $WDOG_PIG >/dev/null 2>&1
     1.8 +		kill $WDOG_PID >/dev/null 2>&1
     1.9  	    else
    1.10 -		kill $WDOG_PIG >/dev/null 2>&1
    1.11 +		kill $WDOG_PID >/dev/null 2>&1
    1.12  		continue
    1.13  	    fi
    1.14  	fi
    1.15 @@ -368,7 +368,7 @@ stop()
    1.16  		rc_failed $?
    1.17  		echo -n '!'
    1.18  	    fi
    1.19 -	    kill $WDOG_PIG >/dev/null 2>&1
    1.20 +	    kill $WDOG_PID >/dev/null 2>&1
    1.21  	fi
    1.22      done < <(xm list | grep -v '^Name')
    1.23