Thanks for spotting this. I hadn't been able to reproduce it, so it was previously tricky to debug.
The attached patch fixes it by offering to refresh the cache if the current cache is empty, as per your first suggestion. I've committed it, and you'll see it in the next release. Regards Jeff ** Patch added: "0001-Offer-to-reload-device-dependent-options-cache-if-em.patch" http://launchpadlibrarian.net/51579582/0001-Offer-to-reload-device-dependent-options-cache-if-em.patch -- device-dependent options cache inobvious https://bugs.launchpad.net/bugs/602560 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
