commit 01bdebeed7e1bc9cb2b91f74fa4bbea025b647df
author Eric Anderson <ejona@google.com> Tue Mar 26 15:31:39 2013 -0700
committer Eric Anderson <ejona@google.com> Thu Apr 11 10:50:27 2013 -0700
tree cb0559c12f5541fdac17eb243b44a4baaed3eb27
parent 91f3be722520dbd7a38be48a29ae0aa63c717cfd

Use separate executor for long-running tasks

This simplifies the handling of both Scheduler and
ScheduledExecutorService.

It also fixes the incremental pushing scheduling to be what were were
expecting; if the incremental pushing is running while the schedule
fires to start it again, it should be skipped. The previous behavior
would queue executions that would begin as soon as the current one
completed. The old behavior isn't horrible, but wasn't what we had
decided.

This change also prepares for removal of the cron4j Scheduler, for
similar reasons as the two notes above.

Since docIdFullPusher is no longer stop()ed, it doesn't need to be
re-created each start().