diff options
author | sjoerd@spring.luon.net <sjoerd@spring.luon.net> | 2004-11-23 07:49:55 -0800 |
---|---|---|
committer | Greg KH <gregkh@suse.de> | 2005-04-26 22:42:36 -0700 |
commit | 67aca2c50984d0b463c714eba142f33bb07f45a2 (patch) | |
tree | a44e84cec1b347afc20be45482c860f6a6d5a898 /etc/conf.d | |
parent | 0d1ecb44a0b8c00b0fc6314d19e1bc8efd0f32bb (diff) |
[PATCH] DEVNAME on device removal
I just noticed that the DEVNAME enviroment variable isn't being set anymore
in udev 0.046 on device removal, while it was being set in 0.042. We're using
the property tto do umount -l <devices> when a block device is removed. Afaik
there is no other way to associate a device with it's DEVNAME on removal ?
Also are there cases where doing umount -l on the removed devices is wrong?
I guess the device is gone, so there is no sense in keeping it mounted (it's
not like the filesystem is gonna come back in a sane state again)..
Attached (trivial) patch brings back the DEVNAME variable on device removal.
Diffstat (limited to 'etc/conf.d')
0 files changed, 0 insertions, 0 deletions