[imp] Small patch for Session.php

[dimon at intellinetinc.com]

This is Re: Virtual domains setup I've posted a few days ago.
I think I found the way to avoid that duplication of domain name with virtual 
domains setup.
In Session.php (* $Horde: imp/lib/Session.php,v 1.30 2003/02/10 14:13:35 chuck) 
str. 105 I changed this:
if (($conf['server']['server_list'] != 'none') &&
   !empty($servers[$server]['realm'])) {
    $_SESSION['imp']['uniquser'] .= '@' . $servers[$server]['realm'];
} elseif (!empty($args['realm'])) {
    $_SESSION['imp']['uniquser'] .= '@' . $args['realm'];
}

To this:
if (($conf['server']['server_list'] != 'none') &&
   !empty($servers[$server]['realm']) && !preg_match("/@/", $_SESSION['imp']
['uniquser'])) {
    $_SESSION['imp']['uniquser'] .= '@' . $servers[$server]['realm'];
} elseif (!empty($args['realm']) && !preg_match("/@/", $_SESSION['imp']
['uniquser'])) {
    $_SESSION['imp']['uniquser'] .= '@' . $args['realm'];
}

Is it possible to include that patch to distribution (I do not think it affects 
anything)? Or maybe there is a better way to fix the problem I described in my 
previous posting?

Best regards,
Dmitry