Michael Eischer 648edeca40 retry: Do not retry Stat() if file does not exist
In non test/debug code, Stat() is used exclusively to check whether a
file exists. Thus, do not retry if a file is reported as not existing.
2022-12-03 11:42:48 +01:00
..
2022-12-03 11:28:10 +01:00
2022-12-03 11:28:10 +01:00
2022-12-03 11:28:10 +01:00
2022-12-03 11:28:10 +01:00
2022-07-17 13:40:15 +02:00
2022-12-03 11:28:10 +01:00
2022-12-03 11:28:10 +01:00
2022-12-03 11:28:10 +01:00
2022-10-14 14:33:49 +02:00
2022-12-03 11:28:10 +01:00
2022-12-03 11:28:10 +01:00
2022-12-03 11:28:10 +01:00
2022-12-03 11:28:10 +01:00
2022-12-03 11:28:10 +01:00
2017-07-23 14:19:13 +02:00
2017-07-23 14:19:13 +02:00
2022-10-21 21:36:05 +02:00
2018-04-01 10:16:31 +02:00
2018-04-01 10:16:31 +02:00
2022-09-25 11:35:35 +02:00