Open matthewjwoodruff opened 11 years ago
Add an option to save partial results in case a defective input was found during a long sort. Add an auxiliary script to recover a sort that died part-way through.
Actually, could make this more general and add general-purpose checkpointing.
Add an option to save partial results in case a defective input was found during a long sort. Add an auxiliary script to recover a sort that died part-way through.