[horde] Options for horde not being saved - using mysql

[Jody Cleveland]

> Are other preferences besides identities saved? If not, you probably 
> need to run pear upgrade DB. If so, then we need more details.

This is strange... Here are the items in options, and which ones work,
which don't:

Personal information - no
Locale and time - yes
Categories and Labels - yes
Display options - no
Login tasks - no
Rich text editor options - yes

- jody