Changeset 2028

Timestamp:

2001-02-20T16:00:06+13:00 (23 years ago)

Author:

jrm21

Message:

When trying to convert image formats, we pipe output to /dev/null in case
the cmd fails, and print a better error message if we can't convert using
whatever tools. (currently we try pnmtopng' and convert')

File:

• trunk/gsdl/bin/script/pdftohtml.pl (modified) (1 diff)

trunk/gsdl/bin/script/pdftohtml.pl

@@ -142 +142 @@
         my $image_base = shift(@nameparts);
 
-        $cmd = "pnmtopng $image > $image_base.png";
+        $cmd = "pnmtopng $image > $image_base.png 2>/dev/null";
         if (system($cmd)>0) {
-        $cmd = "convert $image $image_base.png";
+        $cmd = "convert $image $image_base.png 2>/dev/null";
         if (system($cmd)>0) {
-            print STDERR "Cannot convert $image into PNG format...\n";
+            print STDERR "Cannot convert $image into PNG format (tried `pnmtopng' and `convert')...\n";
             return 0; # not sure about whether to leave this one in or take it out
         }