[ingo] Undefined index: REQUEST_TIME in vacation.php

[Volker Then]

Hi,

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

Nevertheless the script is still being generated.

(Newest HEAD with updated prefs.)

Bye

Volker