add isMount encapsulation
authorFraxinas <andreas.frisch@multimedia-labs.de>
Tue, 18 Nov 2008 12:15:12 +0000 (13:15 +0100)
committerFraxinas <andreas.frisch@multimedia-labs.de>
Tue, 18 Nov 2008 12:15:12 +0000 (13:15 +0100)
lib/python/Tools/Directories.py

index 2b60924..0d238b3 100644 (file)
@@ -126,6 +126,9 @@ def resolveFilename(scope, base = "", path_prefix = None):
 def pathExists(path):
        return os_path.exists(path)
 
+def isMount(path):
+       return os_path.ismount(path)
+
 def createDir(path, makeParents = False):
        try:
                if makeParents: