+# Buffer the output so that we can avoid printing the informational
+# header when no plugins produce output.
+require 'stringio'
+output_buffer = StringIO.new()
+$stdout = output_buffer
+
+begin
+ plugin_module.run(cfg, *parsed_args)
+ensure
+ # Now restore stdout, and print the header plus whatever the plugins
+ # produced (if they produced anything). If they didn't produce any
+ # output, then we avoid printing the header.
+ #
+ # This gets wrapped in an "ensure" block because otherwise, if
+ # plugin_module.run() crashes, the traceback will get stored in
+ # output_buffer and never get printed.
+ $stdout = STDOUT
+
+ if output_buffer.size > 0 then
+ puts UserInterface.make_header(program_name, plugin_module.to_s())
+ puts output_buffer.string()
+ end