if (webkitpdf.opt_target_png == null && webkitpdf.opt_target_pdf == null) {
throw new OptionError.BAD_VALUE("missing pdf or png filename");
}
+
+ if (webkitpdf.opt_target_pdf != null) {
+ print("got pdf\n");
+ }
+ if (webkitpdf.opt_target_png != null) {
+ print("got png\n");
+ }
if (webkitpdf.opt_target_pdf == null && webkitpdf.opt_target_png != null) {
throw new OptionError.BAD_VALUE("missing pdf file path");
}