[doc Tools] {web documentation} Catch the error if the server is not available.