diff options
| author | Fraxinas <andreas.frisch@multimedia-labs.de> | 2008-11-18 13:15:12 +0100 |
|---|---|---|
| committer | Fraxinas <andreas.frisch@multimedia-labs.de> | 2008-11-18 13:15:12 +0100 |
| commit | 219e5a3edf67e060c751b70419a8a5293fea169a (patch) | |
| tree | a3bb4e97ec88adc89c3abe20bff237efeefcac8c /lib/python | |
| parent | 623abfc754b4a95f79f90cf0498300d16b52f894 (diff) | |
| download | enigma2-219e5a3edf67e060c751b70419a8a5293fea169a.tar.gz enigma2-219e5a3edf67e060c751b70419a8a5293fea169a.zip | |
add isMount encapsulation
Diffstat (limited to 'lib/python')
| -rw-r--r-- | lib/python/Tools/Directories.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/lib/python/Tools/Directories.py b/lib/python/Tools/Directories.py index 2b60924c..0d238b30 100644 --- a/lib/python/Tools/Directories.py +++ b/lib/python/Tools/Directories.py @@ -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: |