gbin/err — pull request #136 by MaxWagner (2013-04-06 22:36:07+00:00)
Title: Properly close shelf upon restart

This fixes some data loss (plugins, repos, etc.), as shelves
are only written back to file if they're explicitly closed.