From 8ffa27187be0c5baf1c7e79edc88de6a379c7d7e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?S=2E=C3=87a=C4=9Flar=20Onur?= Date: Mon, 19 Sep 2005 13:26:56 +0000 Subject: [PATCH] handle exceptions... --- tools/fetchAll.py | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/tools/fetchAll.py b/tools/fetchAll.py index ada00516..4ce26c70 100644 --- a/tools/fetchAll.py +++ b/tools/fetchAll.py @@ -49,6 +49,10 @@ if __name__ == "__main__": if not isCached(URI.filename(), spec.source.archiveSHA1): print URI, " -> " , os.path.join(config.archives_dir(), URI.filename()) - fetch_url(URI, config.archives_dir()) + try: + fetch_url(URI, config.archives_dir()) + except pisi.fetcher.FetchError, e: + print e + pass else: print URI, "already downloaded..."