mhttpd odb view different from odbedit

[Andreas Suter]

I just created a new odb via odbedit -e <exp> and afterwards started mhttpd for this experiment. I find now the following differences if looking into the odb via mhttpd or odbedit (see attached snapshots). I do not understand the mhttpd output. I guess this is a bug.

[Stefan Ritt]

Ups. Was a bug I introduced in the last commit. Should be fixed now.