# HG changeset patch
# User paulb
# Date 1132069561 0
# Node ID 5e29854fe10dda16f0994a0de3284d459661013a
# Parent  9b9fd50b3438dd12282298a2d8c868f0616be87d
[project @ 2005-11-15 15:46:01 by paulb]
Added has_key method.

diff -r 9b9fd50b3438 -r 5e29854fe10d WebStack/Repositories/Directory.py
--- a/WebStack/Repositories/Directory.py	Tue Nov 15 15:10:29 2005 +0000
+++ b/WebStack/Repositories/Directory.py	Tue Nov 15 15:46:01 2005 +0000
@@ -76,6 +76,9 @@
     def full_path(self, key):
         return os.path.join(self.path, self._convert_name(key))
 
+    def has_key(self, key):
+        return key in self.keys()
+
     # NOTE: Methods very similar to Helpers.Session.Wrapper.
 
     def items(self):