xentaur
diff files/xenomips-init @ 51:b9536e00100a
exec timeout 0
author | igor |
---|---|
date | Thu Oct 25 21:27:01 2007 +0300 (2007-10-25) |
parents | ab37f0ad70e5 |
children |
line diff
1.1 --- a/files/xenomips-init Fri Jul 13 16:57:33 2007 +0300 1.2 +++ b/files/xenomips-init Thu Oct 25 21:27:01 2007 +0300 1.3 @@ -42,6 +42,17 @@ 1.4 touch /var/log/dmesg 1.5 } 1.6 1.7 +unbind_mounts() { 1.8 +# FIXME 1.9 + true 1.10 +} 1.11 1.12 -bind_mounts 1.13 +case $1 in 1.14 + start) 1.15 + bind_mounts 1.16 + ;; 1.17 + stop) 1.18 + unbind_mounts 1.19 + ;; 1.20 +esac 1.21