[dev] [patch] IMP preferences in session

[Chuck Hagenbuch]

Quoting k-team k-team <kteam.eu at gmail.com>:

>  we noticed that in imp/config/prefs.php the following condition:
> if (isset($_SESSION['imp']['acl']))
> always returned true, even if 'acl'  was not set in servers.php. The
> problem is in Session.php and the attached patch fixes the problem.

This isn't the right solution, but I've fixed the check in prefs.php.dist.
Thanks for pointing out the problem.

-chuck

-- 
"But she goes not abroad in search of monsters to destroy." - John 
Quincy Adams