|
From: <php...@li...> - 2009-01-12 14:09:14
|
Hi,
did I understand this correctly that
$reportBody = java_values(getReportBody());
doesn't work but
$reportBody = getReportBody();
$reportBody = java_values($reportBody);
does?
If that's the case, you have found a bug in the PHP evaluator.
Regards,
Jost Boekemeier
|