Hochkomma ersetzen

[wahsaga]

hi,

Ich erhalte per Post aus einem Textfeld folgenden String:
f'(x) = whatever

Dieser String wird als Argument an die Shell weitergegeben, deshalb soll das Hochkomma ' durch ''' ersetzt werden. Seltsamer weise findet str_replace das ' nicht (bzw. ersetzt es nicht?!?).

Wenn ich sowas wie

$test = "f'(x)";
echo str_replace("'", "ERSETZT");

mache, funktioniert das ganze auch wunderbar, aber eben nicht wenn ich den String von außen bekomme.

Dann ist das "Hochkomma" vermutlich gar kein Hochkomma.

Entweder stimmen Kodierung von Script und Eingabe nicht überein - oder es ist ein anderes, ähnlich aussehendes Zeichen. Letzteres lässt sich evtl. mittles ord(), angewandt auf das Zeichen an der entsprechenden Stelle im String, überprüfen.

gruß,
wahsaga