ia64/xen-unstable

changeset 19793:8018f09ef039

xendomains script: Small fix

From: Fabian Zimmermann <xen-users@z-technologies.de>
Signed-off-by: Keir Fraser <keir.fraser@citrix.com>
author Keir Fraser <keir.fraser@citrix.com>
date Thu Jun 18 10:26:28 2009 +0100 (2009-06-18)
parents 407e2e7dca5b
children 94bf7d4854eb
files tools/hotplug/Linux/init.d/xendomains
line diff
     1.1 --- a/tools/hotplug/Linux/init.d/xendomains	Thu Jun 18 10:20:45 2009 +0100
     1.2 +++ b/tools/hotplug/Linux/init.d/xendomains	Thu Jun 18 10:26:28 2009 +0100
     1.3 @@ -182,11 +182,11 @@ rdnames()
     1.4  
     1.5  parseln()
     1.6  {
     1.7 -    if [[ "$1" =~ "\(domain" ]]; then
     1.8 +    if [[ "$1" =~ '(domain' ]]; then
     1.9          name=;id=
    1.10 -    else if [[ "$1" =~ "\(name" ]]; then
    1.11 +    else if [[ "$1" =~ '(name' ]]; then
    1.12          name=$(echo $1 | sed -e 's/^.*(name \(.*\))$/\1/')
    1.13 -    else if [[ "$1" =~ "\(domid" ]]; then
    1.14 +    else if [[ "$1" =~ '(domid' ]]; then
    1.15          id=$(echo $1 | sed -e 's/^.*(domid \(.*\))$/\1/')
    1.16      fi; fi; fi
    1.17