Add -f (-force) to the gnome-web-print command line.

[webpdf] / createpdf.pl

diff --git a/createpdf.pl b/createpdf.pl
index 6147e7e1938fd63b811658f41fced6ad985f6853..1af0b87771aa36957a63f00c2b4563696fcc7b7f 100755 (executable)
--- a/createpdf.pl
+++ b/createpdf.pl
@@ -60,7 +60,7 @@ if ($url =~ /^http/i) {
 
        # Render through Gecko
        $ENV{'DISPLAY'} = $pdfweb::config::xserver;
-       system("gnome-web-print", $url, "$pdfweb::config::outputdir/$pdf_filename.ps");
+       system("gnome-web-print", "-f", $url, "$pdfweb::config::outputdir/$pdf_filename.ps");
        system("gs $pdfopts -dCompatbilityLevel=1.4 -dNOPAUSE -dPATCH -sDEVICE=pdfwrite -dSAFER -sOutputFile=output/$pdf_filename -c '.setpdfwrite $psopts' -f - < $pdfweb::config::outputdir/$pdf_filename.ps >&2");
 } elsif ($filename =~ /(.*)\.(?:e?ps|pdf)$/i) {
        $outname = "$1.pdf";
@@ -155,6 +155,24 @@ EOF
 
 my $size = -s "output/$pdf_filename";
 
+if (defined($size) && $size > 0) {
+       # Make a thumbnail from the finished PDF, for later reference. (Output to
+       # stdout is so we make sure we get only the first page; it's the simplest
+       # hack I can find offhand. :-) )
+       system("convert -resize 192x192 output/$pdf_filename png:- > output/$pdf_filename.png");
+       open DESC, ">output/$pdf_filename.desc";
+
+       if ($url =~ /^http/i) {
+               $url =~ tr/\n//d;
+               print DESC "$url\n";
+       } else {
+               $filename =~ tr/\n//d;
+               print DESC "$filename\n";
+       }
+
+       close DESC;
+}
+       
 (my $sanitized_outname = $outname) =~ tr/a-zA-Z0-9. -/_/c;
 
 print "Content-type: application/pdf\n";