Data hosted with ♥ by Pastebin.com - Download Raw - See Original
  1. /dev/null 2>&1 ;\n";
  2. $command .= $path_to_dvipng . " -D " . $res . " -q -T tight ". $filename . ".dvi -o " . $filename . ".png > /dev/null 2>&1 ;\n";
  3.  
  4. $output = `$command`;
  5.  
  6. $handle = @fopen($filename . ".png", "r");
  7. if ($handle) {
  8. while (!feof($handle)) {
  9. $buffer = fgets($handle, 4096);
  10. echo $buffer;
  11. }
  12. fclose($handle);
  13. }
  14.  
  15. unlink($filename . ".tex");
  16. unlink($filename . ".log");
  17. unlink($filename . ".aux");
  18. unlink($filename . ".dvi");
  19. unlink($filename . ".png");
  20. ?>