Hallo Hans,
für den Fehler gibt es folgenden patch:
if (function==core_dump) {
if (other_functions_than_this_one_in_method==true) {
comment_out_other_function;
if ( ! core_dump) {
other_function_than_the_one_you_expected_makes_problems();
correct_it();
}
}
}
Dann funktioniert's auch wieder !
Gruß
Hans