Changeset 2346

Timestamp:

2001-05-01T17:29:48+12:00 (23 years ago)

Author:

jrm21

Message:

newer version of pdftohtml from upstream uses image.log instead of images.log,
so we check for both (for now...) as I am using some features from v0.31 in
our current pdftohtml (based on v0.22).

File:

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

trunk/gsdl/bin/script/pdftohtml.pl

@@ -210 +210 @@
 
 
-    open (IMAGES, "images.log");
+    open (IMAGES, "images.log") || 
+    open (IMAGES, "image.log") ||
+          print STDERR "Error opening image log:$!\n";
     while (<IMAGES>) {
     push (@images, $_);
     }
     close IMAGES;
-    
+
     for $image (@images) {
     chomp($image);