chiark / gitweb /
merge device event handling and make database content available on "remove"