Revision 44d5343d5603e732f04c10d540120732e27fdb0d authored by Robert Jacob on 15 September 2021, 21:03:46 UTC, committed by GitHub on 15 September 2021, 21:03:46 UTC
Make drv_resume a logical and set it to FALSE to prevent read of restart immediately after it is written. Introduce drv_resume_file to use where a filename is really needed. Also add a log message for the real restart read and make the seq_io_read_avs log messages more informative. Fixes #4513
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...