| … | |
… | |
| 984 | } |
984 | } |
| 985 | |
985 | |
| 986 | my $gifFileName = fileFromPath($gifFilePath); |
986 | my $gifFileName = fileFromPath($gifFilePath); |
| 987 | |
987 | |
| 988 | $gifFileName =~ /^(.*)\.gif$/; |
988 | $gifFileName =~ /^(.*)\.gif$/; |
| 989 | my $pngFilePath = surePathToTmpFile("${tempDirectory}png/$1.png"); |
989 | my $pngFilePath = surePathToTmpFile("${tempDirectory}png/$probNum-$1.png"); |
| 990 | my $returnCode = system "$envir{externalGif2PngPath} $gifFilePath $pngFilePath"; |
990 | my $returnCode = system "$envir{externalGif2PngPath} $gifFilePath $pngFilePath"; |
| 991 | |
991 | |
| 992 | if ($returnCode or not -e $pngFilePath) { |
992 | if ($returnCode or not -e $pngFilePath) { |
| 993 | die "failed to convert $gifFilePath to $pngFilePath using gif->png with $envir{externalGif2PngPath}: $!\n"; |
993 | die "failed to convert $gifFilePath to $pngFilePath using gif->png with $envir{externalGif2PngPath}: $!\n"; |
| 994 | } |
994 | } |