03/06/2011, 10:01
|
| | Fecha de Ingreso: febrero-2011 Ubicación: Guatemala
Mensajes: 21
Antigüedad: 13 años, 10 meses Puntos: 1 | |
Respuesta: Cambiar extensión de de archivos de audio en mi servidor Gracias a todos, ya lo e logrado.
este es el codigo
<?php
function changeext($directory, $ext1, $ext2, $verbose = false) {
$num = 0;
if($curdir = opendir($directory)) {
while($file = readdir($curdir)) {
if($file != '.' && $file != '..') {
$srcfile = $directory . '/' . $file;
$string = "$file";
$str = strlen($ext1);
$str++;
$newfile = substr($string, 0, -$str);
$newfile = $newfile.'.'.$ext2;
$dstfile = $directory . '/' . $newfile;
if (eregi("\.$ext1",$file)) { # Look at only files with a pre-defined extension
$fileHand = fopen($srcfile, 'r');
fclose($fileHand);
rename($srcfile, $dstfile );
}
if(is_dir($srcfile)) {
$num += changeext($srcfile, $ext1, $ext2, $verbose);
}
}
}
closedir($curdir);
}
return $num;
}
changeext('Directorio donde se encuentra los archivos a cambiar', 'Extension 1 a cambiar', 'extension 2 ', 'false');
?> |