Delete rather than mark-empty dict entries (bug #2913).
authorAdam Dickmeiss <adam@indexdata.dk>
Thu, 2 Jul 2009 12:07:52 +0000 (14:07 +0200)
committerAdam Dickmeiss <adam@indexdata.dk>
Thu, 2 Jul 2009 12:07:52 +0000 (14:07 +0200)
commit475d4ac8314b3d6a24b974246af581662e0b6c02
tree34a26b15c535eeb4e9d333cd63494eb531661699
parenta89d8384ad975fdddb2aa56e8c27b689a5e23f96
Delete rather than mark-empty dict entries (bug #2913).

The dict_del_string is now removes NULL subptr entries from pages
and cleans out pages with zero entries.
dict/delete.c