[horde] Ingo: problem with error handling while adding/modifying a rule

[Chuck Hagenbuch]

Quoting "Gilbert, Marie-Christine" <Marie-Christine.Gilbert at microcell.ca>:

> We have looked at the code and we maybe have found something in
> ingo/rules.php.
> In the swicth($actionId) case INGO_RULE_UPDATE, a call to
> Ingo::updateScript() is made. After that, the following instruction is
> executed: header('Location: ' . Horde::applicationUrl('filters.php'));

Looks like there should have been an exit after the header; I've added this
in CVS, thanks. Btw, there is an ingo list.

-chuck

--
Charles Hagenbuch, <chuck at horde.org>
"People ask me all the time what it will be like living without otters."
 - Google, thanks to Harpers