check result value of swf_output_save().
authorkramm <kramm>
Fri, 22 Oct 2004 15:08:25 +0000 (15:08 +0000)
committerkramm <kramm>
Fri, 22 Oct 2004 15:08:25 +0000 (15:08 +0000)
pdf2swf/pdf2swf.cc

index c943c69..c4d331d 100644 (file)
@@ -500,7 +500,8 @@ int main(int argn, char *argv[])
             pdf_page_destroy(page);
         }
     }
-    swf_output_save(swf, outputname);
+    if(!swf_output_save(swf, outputname))
+        exit(1);
     swf_output_destroy(swf);
 
     pdf_destroy(pdf);