[ingo] Undefined index: REQUEST_TIME in vacation.php

[Chuck Hagenbuch]

Quoting Volker Then <horde at volkerthen.com>:

> when saving my vacation settings I'm getting an error:
>
> Undefined index: REQUEST_TIME in /var/www/html/horde/ingo/vacation.php
> on line 108

Fixed in CVS - the REQUEST_TIME $_SERVER element isn't in all PHP versions.

-chuck

-- 
"we are plastered to the windshield of the bus that is time." - Chris