[Tickets #9596] faulty horde.local.php created by install_dev script

[bugs at horde.org]

BITTE NICHT AUF DIESE NACHRICHT ANTWORTEN. NACHRICHTEN AN DIESE  
E-MAIL-ADRESSE WERDEN NICHT GELESEN.

Ticket-URL: http://bugs.horde.org/h/whups/ticket/9596
------------------------------------------------------------------------------
  Ticket           | 9596
  Erstellt Von     | d-fens at 00010111.de
  Zusammenfassung  | faulty horde.local.php created by install_dev script
  Warteschlange    | Horde Framework Packages
  Version          | Git master
  Typ              | Bug
  Status           | Unconfirmed
  Priorität        | 2. Medium
  Milestone        |
  Patch            |
  Zuständige       |
------------------------------------------------------------------------------


d-fens at 00010111.de (2011-02-24 12:40) hat geschrieben:

hi,

somehow the install script crates this file for me:

<?php define('HORDE_BASE', '/var/www/catchall/htdocs/horde-git');

i miss the include path and closing "?>" there; horde doesn't work as it says

PHP Fatal error:  require_once() [<a  
href='function.require'>function.require</a>]: Failed opening required  
'Horde/Autoloader/Default.php'  
(include_path='/var/www/_horde/horde/horde/lib:.:/usr/share/php5:/usr/share/php') in /var/www/_horde/horde/horde/lib/core.php on line  
44

in line 114 of the install_dev script there is
file_put_contents($horde_git . '/horde/config/horde.local.php', "<?php  
if (!defined('HORDE_BASE')) define('HORDE_BASE', '$web_dir');  
ini_set('include_path', '{$web_dir}/libs' . PATH_SEPARATOR .  
ini_get('include_path'));");

but somehow the file gets overwritten late on in the script, strange