4 include_once(
"./Services/Preview/classes/class.ilFilePreviewRenderer.php");
30 if (self::$supported_formats == null)
31 self::$supported_formats = explode(
",", self::SUPPORTED_FORMATS);
41 return (PATH_TO_GHOSTSCRIPT !=
"");
56 $filepath = $obj->getFile();
63 $outputFile = $output .
"_#02d.png";
69 "-dBATCH -dNOPAUSE -dSAFER -dFirstPage=1 -dLastPage=%d -sDEVICE=pngalpha -dEPSCrop -r72 -o %s %s",
77 if ($filepath != $inputFile)
82 $outputFile = str_replace(
"#",
"%", $outputFile);
84 for ($i = 1; $i <= $numOfPreviews; $i++)
86 $imagePath = sprintf($outputFile, $i);
87 if (!file_exists($imagePath))