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