diff options
author | Robert Buchholz <rbu@goodpoint.de> | 2008-08-21 17:31:29 +0200 |
---|---|---|
committer | Robert Buchholz <rbu@goodpoint.de> | 2008-08-21 17:31:29 +0200 |
commit | da4064e809b914e15baef7b7b85d3c825e1da1d0 (patch) | |
tree | 2731959a87f782285761771e91af0a80222c7a7b | |
parent | Do not create INDEX file if it already exists and (diff) | |
download | distindex-da4064e809b914e15baef7b7b85d3c825e1da1d0.tar.gz distindex-da4064e809b914e15baef7b7b85d3c825e1da1d0.tar.bz2 distindex-da4064e809b914e15baef7b7b85d3c825e1da1d0.zip |
pass != return
-rwxr-xr-x | distfiles-indexer.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/distfiles-indexer.py b/distfiles-indexer.py index 5bbc060..5d14915 100755 --- a/distfiles-indexer.py +++ b/distfiles-indexer.py @@ -39,7 +39,7 @@ class ArchiveInfo: def write_info(self, outfiledir): outfilename = "%s.%s.INDEX" % (self.basename, self.mtime) if os.path.exists(outfilename): - pass + return self.out_fd = open(outfilename, "w") self.write_header() |