Options = [opt()]
opt() = {start_log, FileName} | {max, MaxNoOfReports} | {report_dir, DirString} | {type, ReportType} | {abort_on_error, Bool}
- FileName = string() | standard_io
+ FileName = string() | atom() | pid()
MaxNoOfReports = int() | all
DirString = string()
ReportType = type() | [type()] | all
@@ -185,11 +204,13 @@
reports can be browsed. When the rb_server is
started, the files in the specified directory are
scanned. The other functions assume that the server has
- started.
+ started.
- {start_log, FileName} starts logging to file. All
- reports will be printed to the named file. The default is
- standard_io.
+
{start_log, FileName} starts logging to file,
+ registered name or io_device. All reports will be printed
+ to the named file. The default is standard_io.
+ The option {start_log, standard_error} is not allowed and
+ will be replaced by default standard_io.
{max, MaxNoOfReports}. Controls how many reports the
rb_server should read on start-up. This option is
@@ -226,11 +247,11 @@
start_log(FileName)
Redirect all output to FileName
- FileName = string()
+ FileName = string() | atom() | pid()
Redirects all report output from the RB tool to the
- specified file.
+ specified file, registered name or io_device.