I you want ECJ to shut down gracefully, you can call
EvolutionState.finish(), then call Evolve.cleanup(state), then do
System.exit(0). But if you're just quitting so you an start later
from a checkpoint, you can just call System.exit(0) and be done with
it. I'd call Evolve.cleanup(state) first though to flush the
streams. No big deal one way or the other however.
On Jun 1, 2008, at 10:31 AM, Shane wrote:
> Is there a graceful way to halt ecj other then killing the
> process? I need to stop it and restart later from a checkpoint.