Please sign in to comment.
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Avoid saving program.dat if we are about to run another chunk anyway.
Reverts this aspect of behavior to that prior to the fix of JENKINS-25623. Also logging time spent saving.
- Loading branch information
Showing with 9 additions and 1 deletion.