2010-01-15 Jean-Louis Martineau * server-src/diskfile.c (parse_diskline): Don't set todo to 0 for skip disk. * server-src/diskfile.c (disable_skip_disk): New function to set todo to 0 for skip disk. * server-src/diskfile.h (disable_skip_disk): Add prototype. * server-src/amcheck.c, server-src/driver.c, server-src/planner.c server-src/reporter.c: Call disable_skip_disk.