Added a script to find broken links to external documents.

4 years ago · 45dbad6a62
parent fe35b6a8db
commit 45dbad6a62
1 changed files with 1 additions and 0 deletions
--- a/tools/find_broken_external_document_links.py
+++ b/tools/find_broken_external_document_links.py
@ -54,6 +54,7 @@ def find_broken_links( conn, url_base, table_name, col_names ):
            url = os.path.join( url_base, url )
        url = url.replace( " ", "%20" ).replace( "#", "%23" )

+        #print( "Checking {}: {}".format( name, url ), file=sys.stderr )
        try:
            buf =  urllib.request.urlopen( url ).read()
        except urllib.error.HTTPError: