(PHP 4, PHP 5)
recode_file — Umkodierung von Dateien entsprechend der Recode-Anweisung
$request
, resource $input
, resource $output
)
Umkodierung der Datei, die durch den Dateizeiger input
referenziert wird, in die Datei output, entsprechend
der Recode-Anweisung request.
Gibt FALSE zurück, wenn es nicht möglich ist, die Anweisung durchzuführen,
andernfalls TRUE.
Beispiel #1 Einfaches recode_file()-Beispiel
<?php
$input = fopen('input.txt', 'r');
$output = fopen('output.txt', 'w');
recode_file("us..flat", $input, $output);
?>
Die Funktion verarbeitet derzeit keine Dateizeiger, die auf entfernte Dateien zeigen (URLs). Beide Dateizeiger müssen auf lokale Dateien zeigen.