diff options
Diffstat (limited to 'Tools')
-rwxr-xr-x | Tools/webchecker/wcgui.py | 6 | ||||
-rwxr-xr-x | Tools/webchecker/websucker.py | 2 |
2 files changed, 0 insertions, 8 deletions
diff --git a/Tools/webchecker/wcgui.py b/Tools/webchecker/wcgui.py index 88d8f56..b0c69d3 100755 --- a/Tools/webchecker/wcgui.py +++ b/Tools/webchecker/wcgui.py @@ -64,12 +64,6 @@ from Tkinter import * import tktools import webchecker -# Override some for a weaker platform -if sys.platform == 'mac': - webchecker.DEFROOT = "http://grail.cnri.reston.va.us/" - webchecker.MAXPAGE = 50000 - webchecker.verbose = 4 - def main(): try: opts, args = getopt.getopt(sys.argv[1:], 't:m:qva') diff --git a/Tools/webchecker/websucker.py b/Tools/webchecker/websucker.py index 8076af5..4657b52 100755 --- a/Tools/webchecker/websucker.py +++ b/Tools/webchecker/websucker.py @@ -97,8 +97,6 @@ class Sucker(webchecker.Checker): path = path + "index.html" if os.sep != "/": path = os.sep.join(path.split("/")) - if os.name == "mac": - path = os.sep + path path = os.path.join(host, path) return path |