author |
<albertogli@telpin.com.ar> 2005-03-03 01:45:32 UTC |
committer |
<albertogli@telpin.com.ar> 2005-03-03 01:45:32 UTC |
parent | ec827b70b021304937951a37d15815b9d28e8b15 |
abk | +4 | -0 |
diff --git a/abk b/abk index b185a66..ee4f4da 100644 --- a/abk +++ b/abk @@ -269,6 +269,10 @@ class index_file: "Incorporates a file into the index." self.db[filename] = file_info(filename) self.db[filename].load() + if self.db[filename].type == 'u': + # ignore files of unknown types, like unix sockets + del(self.db[filename].type) + return self.names.append(filename) def get_file(self, filename):