[php] undefined Error - Loesung

[Norbert Pfeiffer]

Hi Lutz,

die Fehlermeldung entstand durch einen falschen
Aufruf einer Funktion des BS via exec();

Der falsche Aufruf entstand wiederum durch einen
Bug in PHP, den man ueberhaupt nicht kapieren kann.

Die Environment-Variablen werden neuerdings zwangsweise
in Grossbuchstaben umgewandelt. Meistens klappt das ja,
aber wenn man mal am Prompt get ausfuehrst, sieht man,
dass es einige Abweichungen gibt, schoen' Mist ... :-((

PS:
diesen Bug hatten wir hier IMHO schon mal ...


m. b. G. Norbert
_____________________
normal:  02686-987103
Notruf:  0163-3613642
---------------------
e.o.m.