crawljax/crawljax — pull request #274 by alexnederlof (2013-06-09 11:48:35+00:00)
Title: Feature/270 provide api to stop crawljax

This gives users to stop crawljax in two ways:

1. Call `stop()` on the CrawljaxRunner.
2. Call `stop()` on the CrawlerContext so this can be done from a Plugin.

Closes #270