[commits] Horde branch master updated. 5e840af70817ab1fe62c8a9b1bd18f097a7c89f8

[Michael Rubinsky]

The branch "master" has been updated.
The following is a summary of the commits.

from: 83eeec74d96cf60a6e82fc508b65f822cda21104

5e840af Don't fatal out if one of these applications is not activated.

-----------------------------------------------------------------------

commit 5e840af70817ab1fe62c8a9b1bd18f097a7c89f8
Author: Michael J. Rubinsky <mrubinsk at horde.org>
Date:   Fri Apr 16 12:38:00 2010 -0400

    Don't fatal out if one of these applications is not activated.

 imp/config/portal.php.dist |   20 ++++++++++++--------
 1 files changed, 12 insertions(+), 8 deletions(-)

http://git.horde.org/diff.php/imp/config/portal.php.dist?rt=horde-git&r1=cde8827eafea3e0308c342936f55a896975566ad&r2=5e840af70817ab1fe62c8a9b1bd18f097a7c89f8