diff options
Diffstat (limited to 'src/batchtools/headless/src/main/java/com/galois/fiveui/Reporter.java')
-rw-r--r-- | src/batchtools/headless/src/main/java/com/galois/fiveui/Reporter.java | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/batchtools/headless/src/main/java/com/galois/fiveui/Reporter.java b/src/batchtools/headless/src/main/java/com/galois/fiveui/Reporter.java index f0461d4..344e46d 100644 --- a/src/batchtools/headless/src/main/java/com/galois/fiveui/Reporter.java +++ b/src/batchtools/headless/src/main/java/com/galois/fiveui/Reporter.java @@ -254,8 +254,11 @@ public class Reporter { html.li().b().text("Severity:").end(); html.text(r.getType().toString()).end(); - html.li().b().text("Browser:").end(); - html.text(r.getDriver().toString()).end(); + html.li().b().text("Browser:").end(); + // unit tests use a null webdriver object + if (null != r.getDriver()) { + html.text(r.getDriver().toString()).end(); + } html.li().b().text("Url:").end(); html.a().href(r.getURL()).text(r.getURL()).end().end(); |