diff options
author | Rogan Creswick <creswick@gmail.com> | 2013-06-24 17:49:22 -0700 |
---|---|---|
committer | Rogan Creswick <creswick@gmail.com> | 2013-06-24 17:49:22 -0700 |
commit | dbc5414793423ae4721e0001979ae21999d5487b (patch) | |
tree | 1716bd410a1195beb4c3008732eee37311488c1f /src/batchtools/webdrivers | |
parent | 5f92d9b352f0d1a3c7b94f5c41a6b582ae6e6ebc (diff) |
resolved some common headless issues relating to (relatively) fixed paths in the source
Diffstat (limited to 'src/batchtools/webdrivers')
-rw-r--r-- | src/batchtools/webdrivers/src/main/java/com/galois/fiveui/drivers/Drivers.java | 14 |
1 files changed, 2 insertions, 12 deletions
diff --git a/src/batchtools/webdrivers/src/main/java/com/galois/fiveui/drivers/Drivers.java b/src/batchtools/webdrivers/src/main/java/com/galois/fiveui/drivers/Drivers.java index 9dd0736..8ac41d1 100644 --- a/src/batchtools/webdrivers/src/main/java/com/galois/fiveui/drivers/Drivers.java +++ b/src/batchtools/webdrivers/src/main/java/com/galois/fiveui/drivers/Drivers.java @@ -42,8 +42,6 @@ public class Drivers { private static final String defaultFiveuiRootPath = "../../../"; private static final String firefoxProfilePath = "profiles/firefox"; private static final String chromeProfilePath = "profiles/chrome"; - private static final String firefoxExtensionPath = "build/fiveui.xpi"; - private static final String chromeExtensionPath = "build/fiveui.crx"; /** * Query the OS environment for the FiveUI root path, or return a default. @@ -53,21 +51,14 @@ public class Drivers { return (null != rootPath) ? rootPath + File.separator : defaultFiveuiRootPath; } - public static FirefoxDriver buildFFDriver() { + public static FirefoxDriver buildFFDriver(String ffProfile) { // Extracted into a method so we can set up profiles String rootPath = getRootPath(); - File profileDir = new File(rootPath+firefoxProfilePath); + File profileDir = new File(ffProfile); FirefoxProfile profile = new FirefoxProfile(profileDir); - File fiveuiXpi = new File(rootPath+firefoxExtensionPath); - try { - profile.addExtension(fiveuiXpi); - } catch (IOException e) { - System.err.println("could not load firefox with FiveUI"); - e.printStackTrace(); - } String ffBinaryPath = System.getProperty(FIREFOX_BIN_PATH); @@ -100,7 +91,6 @@ public class Drivers { options.addArguments("--user-data-dir=" + rootPath + chromeProfilePath); // , // "--enable-logging", // "--v=1"); - options.addExtensions(new File(rootPath + chromeExtensionPath)); String chromeBinaryPath = System.getProperty(CHROME_BIN_PATH); if (null == chromeBinaryPath) { |