var opt_context = new OptionContext ("webkitpdf");
-
- stdout.printf ( """Width: %d
- Height: %d
- URL: %s
- Delay: %d
- png: %s
- inject: %s
- PDF: %s
- """,
- opt_width,
- opt_height,
- opt_url,
- (int) opt_delay,
- opt_target_png == null ? "--empty--" : opt_target_png,
- opt_inject_js.length < 1? "--empty--" : string.joinv(", ", opt_inject_js),
- opt_target_pdf == null ? "--empty--" : opt_target_pdf
-
- );
-
try {
opt_context.set_help_enabled (true);
throw new OptionError.BAD_VALUE("missing pdf or png filename");
}
+
+ stdout.printf ( """Width: %d
+ Height: %d
+ URL: %s
+ Delay: %d
+ png: %s
+ inject: %s
+ PDF: %s
+ """,
+ opt_width,
+ opt_height,
+ opt_url,
+ (int) opt_delay,
+ opt_target_png == null ? "--empty--" : opt_target_png,
+ opt_inject_js.length < 1? "--empty--" : string.joinv(", ", opt_inject_js),
+ opt_target_pdf == null ? "--empty--" : opt_target_pdf
+
+ );
+
} catch (OptionError e) {
stdout.printf ("error: %s\n", e.message);