projects / horde.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c0a31e5) | patch
Add mandatory setting.
authorGunnar Wrobel <p@rdus.de>
Sun, 28 Nov 2010 20:42:02 +0000 (21:42 +0100)
committerGunnar Wrobel <p@rdus.de>
Sun, 28 Nov 2010 20:42:02 +0000 (21:42 +0100)
commit2dcb6a4e427372c1f14eae392d0eee8bd2e38e1b
treed1afce2821e702a8ff244106f85c7a99877fa411tree | snapshot
parentc0a31e58550e2101ad4c6105bc489600d55dacd9commit | diff
Add mandatory setting.

If this value is not present the startup fails with
Undefined index: max_exec_time in Registry.php  on line 345.

Or should the Registry define its own default?
horde/config/conf.php.dist diff | blob | history
Unnamed repository; edit this file to name it for gitweb.