php - 画像形式をJPGに変更するPHPコード

Question

ImageMagick を使用して gif ファイルを jpg に変換するために、この PHP コードを作成しましたが、うまくいかないようです。多分私は何かが欠けています:

<?php
$cwd = getcwd();
$directory = 'temp_images/input/'; // add path to the source direcotry, reprocesses all images directly, not fancy.

$dh = opendir($directory);

while($file = readdir($dh)) {
  if (strlen($file) > 2) {
    $dirfiles[]=$file;
  }
}
closedir($dh);
reset($dirfiles);
asort($dirfiles);


set_time_limit(0);
foreach ($dirfiles as $dirfile) {
  $file = $directory.$dirfile;
  $cmd = 'mogrify -format jpg *.gif $file';     
  echo  $dirfile . " mogrified to JPG \n";
}

?>

gif ファイルは変換されていません。

更新:自分のコードでは、 $cmd = 'mogrify -format jpg *.gif $file'; に置き換えました。to exec("mogrify -format jpg . $file");

mogrify を使用すると、元のファイルが消去されるという印象を受けました。どうすればいいですか？

Answer 1

は$cmd実行されません...単なる文字列値です。