mercurial/dirstate.py
changeset 6675 03a836ca6fde
parent 6603 41eb20cc1c02
child 6677 9865e15febd0
--- a/mercurial/dirstate.py	Wed Jun 11 11:00:01 2008 +0200
+++ b/mercurial/dirstate.py	Fri Jun 06 08:29:16 2008 +0100
@@ -66,12 +66,18 @@
         elif name == '_checkexec':
             self._checkexec = util.checkexec(self._root)
             return self._checkexec
+        elif name == '_folding':
+            self._folding = not util.checkfolding(self._join('.hg'))
+            return self._folding
         else:
             raise AttributeError, name
 
     def _join(self, f):
         return os.path.join(self._root, f)
 
+    def folding(self):
+        return self._folding
+
     def getcwd(self):
         cwd = os.getcwd()
         if cwd == self._root: return ''