| 34 | } |
| 35 | |
| 36 | void report_filesystem_error(const system_error& ex) |
| 37 | { |
| 38 | cout << " threw filesystem_error exception:\n" |
| 39 | << " ex.code().value() is " << ex.code().value() << '\n' |
| 40 | << " ex.code().category().name() is " << ex.code().category().name() << '\n' |
| 41 | << " ex.what() is " << ex.what() << '\n'; |
| 42 | } |
| 43 | |
| 44 | void report_status(fs::file_status s) |
| 45 | { |