# HG changeset patch
# User Fabio Fantoni
# Date 1331130331 -3600
# Node ID 2993a6131f0c7f91dddd28989f06d5a055b17076
# Parent  72a4403915504ca36f53cc69979e2ac9e6a857b1
tools/hotplug/Linux/init.d/: create /var/run/xen if not exists

Signed-off-by: Fabio Fantoni <fabio.fantoni@xxxxxxxxxx>

diff -r 72a440391550 -r 2993a6131f0c tools/hotplug/Linux/init.d/xencommons
--- a/tools/hotplug/Linux/init.d/xencommons	mar mar 06 16:22:04 2012 +0100
+++ b/tools/hotplug/Linux/init.d/xencommons	mer mar 07 15:25:31 2012 +0100
@@ -58,6 +58,7 @@
 	modprobe xen-gntdev 2>/dev/null
 	modprobe evtchn 2>/dev/null
 	modprobe gntdev 2>/dev/null
+	mkdir -p /var/run/xen
 
 	if ! `xenstore-read -s / >/dev/null 2>&1`
 	then