[Xen-changelog] [xen-unstable] xendomains script: Small fix

[Xen patchbot-unstable <patchbot-unstable@xxxxxxxxxxxxxxxxxxx>]

# HG changeset patch
# User Keir Fraser <keir.fraser@xxxxxxxxxx>
# Date 1245317188 -3600
# Node ID 8018f09ef0392cbcc10f5e41dd065f03bbd9ed0c
# Parent  407e2e7dca5b1b3f528959246b1efbd4e243c119
xendomains script: Small fix

From: Fabian Zimmermann <xen-users@xxxxxxxxxxxxxxxxx>
Signed-off-by: Keir Fraser <keir.fraser@xxxxxxxxxx>
---
 tools/hotplug/Linux/init.d/xendomains |    6 +++---
 1 files changed, 3 insertions(+), 3 deletions(-)

diff -r 407e2e7dca5b -r 8018f09ef039 tools/hotplug/Linux/init.d/xendomains
--- a/tools/hotplug/Linux/init.d/xendomains     Thu Jun 18 10:20:45 2009 +0100
+++ b/tools/hotplug/Linux/init.d/xendomains     Thu Jun 18 10:26:28 2009 +0100
@@ -182,11 +182,11 @@ rdnames()
 
 parseln()
 {
-    if [[ "$1" =~ "\(domain" ]]; then
+    if [[ "$1" =~ '(domain' ]]; then
         name=;id=
-    else if [[ "$1" =~ "\(name" ]]; then
+    else if [[ "$1" =~ '(name' ]]; then
         name=$(echo $1 | sed -e 's/^.*(name \(.*\))$/\1/')
-    else if [[ "$1" =~ "\(domid" ]]; then
+    else if [[ "$1" =~ '(domid' ]]; then
         id=$(echo $1 | sed -e 's/^.*(domid \(.*\))$/\1/')
     fi; fi; fi
 

_______________________________________________
Xen-changelog mailing list
Xen-changelog@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-changelog