xdiff_file_patch_binary PHP sur JungleKey.fr

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 pas pu être patché";
}

?>

Voir aussi xdiff_string_patch_binary().