chiark / gitweb /
Cleaner subprocess shutdow in trackdb_deinit().