diff options
| author | Mark Mansi <markm@cs.wisc.edu> | 2020-02-13 11:53:07 -0600 |
|---|---|---|
| committer | Mark Mansi <markm@cs.wisc.edu> | 2020-02-13 11:53:07 -0600 |
| commit | 23cb749bbb5c57e85a89b72a76299df1aef464e7 (patch) | |
| tree | 6d667bc88547d084f45da66bb4fd923a504d09ea /src/tools | |
| parent | d538b80ad77949e46989cd355cdec193b574f052 (diff) | |
| download | rust-23cb749bbb5c57e85a89b72a76299df1aef464e7.tar.gz rust-23cb749bbb5c57e85a89b72a76299df1aef464e7.zip | |
don't error on network failures
Diffstat (limited to 'src/tools')
| -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; } |