xentaur
diff files/xenomips-init @ 58:58381d1fe31b
domains_brief support
author | igor |
---|---|
date | Sun Nov 11 19:22:52 2007 +0200 (2007-11-11) |
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 Sun Nov 11 19:22:52 2007 +0200 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