diff options
| -rw-r--r-- | src/tools/rustbook/src/main.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/tools/rustbook/src/main.rs b/src/tools/rustbook/src/main.rs index 023f5aa1e28..226779ad0c0 100644 --- a/src/tools/rustbook/src/main.rs +++ b/src/tools/rustbook/src/main.rs @@ -115,6 +115,8 @@ pub fn linkcheck( eprintln!("Timeout for link `{}`", link.link.uri); } else if err.is_server_error() { eprintln!("Server error for link `{}`", link.link.uri); + } else if !err.is_http() { + eprintln!("Non-HTTP-related error for link: {} {}", link.link.uri, err); } else { is_real_error = true; } |