navtis/xerxes — Issue #11: All user to terminate
Author: navtis
Created: 2012-02-11 10:09:29+00:00
State: open
Labels: Feature request

Need a user option to terminate searches early