create /var/core partition

diff --git a/config.planetlab/vserver.post b/config.planetlab/vserver.post
index 7d518f4..f80c142 100644 (file)
--- a/config.planetlab/vserver.post
+++ b/config.planetlab/vserver.post
@@ -16,9 +16,14 @@ sed -i -e "s/root:[\*|x]/root:/" ${vdir}/etc/passwd
 echo "Removing requiretty from default /etc/sudoers file"
 sed -i -e 's,^\(Defaults.*requiretty\),#\1,' ${vdir}/etc/sudoers
 
+# Create /var/core
+mkdir -p ${vdir}/var/core
+chmod 777 ${vdir}/var/core
+
 # Fix up /etc/init.d/halt 
 echo "Fixing /etc/init.d/halt in vserver-reference image"
 cat > ${vdir}/etc/init.d/halt <<EOF
+
 #!/bin/bash
 exec /sbin/killall5 -15
 EOF