diff options
| -rw-r--r-- | headless/src/test/java/com/galois/fiveui/CrawlTest.java | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/headless/src/test/java/com/galois/fiveui/CrawlTest.java b/headless/src/test/java/com/galois/fiveui/CrawlTest.java index 6ebeb40..75d1932 100644 --- a/headless/src/test/java/com/galois/fiveui/CrawlTest.java +++ b/headless/src/test/java/com/galois/fiveui/CrawlTest.java @@ -52,7 +52,8 @@ public class CrawlTest { } // Requires Internet access - @Test + // @Test + @Ignore public void corpDotGaloisCrawlTest() { File tmpPath = Files.createTempDir(); BasicCrawlerController con = |