tbzatek
commented
1 month ago I don't like adding a new configure option for this, but I guess I can live with it.
So here's the deal:
- the configure option brings certain maintenance burden in case we decide to replace it with something below:
- any arbitrary timeout will never suit all the users, historically we've been asked to increase the timeout to 15, 30 minutes or 1 hour, etc.
- timeout would be good to have configurable per-device
- timeout is requested to be configurable through config files
- another possibility is to introduce new udev property (which in terms of device matching makes much more sense to me than config files)
- housekeeping timeout is global and is run for all operations for all devices in a sequential order in side thread, this needs to be refactored first
- I don't have time to work on any of these near-term, chance for a community to implement proper solution
This allows to override the default housekeeping interval in configure time via the new --with-housekeeping-interval=MIN option.
Fixes #892 Fixes #407