Manuel PHP
Précédent |  | Suivant

# 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().

Précédent | Sommaire | Suivant
xdiff_file_merge3 | Niveau supérieur | xdiff_file_patch