registry.php is a *configuration* file, so you *have* to change it to 
your needs.



Beside that, $_SERVER['SERVER_NAME'] works for more people than 
$_SERVER['HTTP_HOST'].

I use horde2/imp3 packages from debian unstable  (horde 2.2.3, imp 3.2.2)



My webmail use https protocol and after login url switch from name to ip

ie https://secure.mydomain.org:9999/hotde2/imp... ->

https://222.x.x.x:9999/horde2/imp



But I pefer urls with names

this patch fix this issue:

--- config/registry.php.old     2004-03-17 15:06:01.000000000 +0300

+++ config/registry.php 2004-03-17 15:10:59.000000000 +0300

@@ -86,13 +86,13 @@

      'allow_guests' => true,

      'status' => 'active',

      'templates' => '/usr/share/horde2/templates',

-    'cookie_domain' => $_SERVER['SERVER_NAME'],

+    'cookie_domain' => $_SERVER['HTTP_HOST'],

      // ** If IE will be used to access Horde modules, you should read

      //    this discussion about the cookie_path setting (discussing issues

      //    with IE's Content Advisor):

      //     
http://lists.horde.org/archives/imp/Week-of-Mon-20030113/029149.html

      'cookie_path' => '/horde2',

-    'server_name' => $_SERVER['SERVER_NAME'],

+    'server_name' => $_SERVER['HTTP_HOST'],

      'server_port' => $_SERVER['SERVER_PORT']

  );



Maybe  i'm wrong but work for me (c) :)