xdiff_file_patch_binary

(no version information, might be only in CVS)

xdiff_file_patch_binary -- Patche un fichier avec un diff binaire

Description

bool xdiff_file_patch_binary ( string file, string patch, string dest )

xdiff_file_patch_binary() patche le fichier file avec le patch binaire contenu dans le fichier patch et stocke le résultat dans dest.

Note : Les deux fichiers (le fichier et le patch) seront chargés en mémoire ; assurez-vous d'avoir défini memory_limit à une valeur assez élevée.

Cette fonction retourne TRUE en cas de succès, FALSE en cas d'échec.

Exemple 1. Exemple avec xdiff_file_patch_binary()

Le code suivant applique un diff binaire à un fichier.

<?php
$ancienne_version
= 'archive-1.0.tgz';
$patch = 'archive.bpatch';

$result = xdiff_file_patch_binary($ancienne_version, $patch, 'archive-1.1.tgz');
if (
$result) {
   echo
"Fichier patché";
} else {
   echo
"Le fichier n'a pu être patché";
}

?>

Voir aussi xdiff_string_patch_binary().