git » abk » commit 138876b

Ignore files of unknown type.

author
2005-03-03 01:45:32 UTC
committer
2005-03-03 01:45:32 UTC
parent ec827b70b021304937951a37d15815b9d28e8b15

Ignore files of unknown type.

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):