Hab es gestern endlich geschafft, meiner Horde-Installation beizubringen, persönliche Einstellungen ("Preferences") für die einzelnen User zu speichern. Das Problem lag daran, dass seltsamerweise in einer eingehakten shutdown function das darin vorhandene require_once nicht zurückkehrt. Warum auch immer, fragt mich nicht. Vielleicht ist es ein PHP-Bug, vielleicht auch nur ein unglücklicher Zufall. Ich habe in diesem Thread auf der Horde-Mailingliste mal das Problem beschrieben und um Kommentare gebeten.