| Property | Optional? | Description |
|---|---|---|
| Default properties | ||
| maven.history.reports | Yes |
Which reports to collect history data for. This applies to both Report History and Dashboard History. Default value is
|
| maven.history.duration | Yes |
When collecting history, data older then this property will be cleaned. Set to blank to never clean. Default value is
|
| maven.history.dateformat | Yes |
Pattern used in dates in plotted graphs. Default value is
|
| maven.history.graph.width | Yes |
Width of plotted graph images. Default value is
|
| maven.history.graph.height | Yes |
Height of plotted graph images. Default value is
|
| Dashboard History properties | ||
| maven.history.dashboard.file | Yes |
Path to file where history data is recorded. Default value is
|
| maven.history.dashboard.style | Yes |
States how data should be displayed/plotted:
|
| maven.history.dashboard.reports | Yes |
Default value is
|
| maven.history.dashboard.duration | Yes |
Default value is
|
| maven.history.dashboard.dateformat | Yes |
Default value is
|
| maven.history.dashboard.graph.width | Yes |
Default value is
|
| maven.history.dashboard.graph.height | Yes |
Default value is
|
| Report History properties | ||
| maven.history.report.file | Yes |
Path to file where history data is recorded. Default value is
|
| maven.history.report.reports | Yes |
Default value is
|
| maven.history.report.duration | Yes |
Default value is
|
| maven.history.report.dateformat | Yes |
Default value is
|
| maven.history.report.graph.width | Yes |
Default value is
|
| maven.history.report.graph.height | Yes |
Default value is
|