From 219e5a3edf67e060c751b70419a8a5293fea169a Mon Sep 17 00:00:00 2001
From: Fraxinas <andreas.frisch@multimedia-labs.de>
Date: Tue, 18 Nov 2008 13:15:12 +0100
Subject: [PATCH] add isMount encapsulation

---
 lib/python/Tools/Directories.py | 3 +++
 1 file changed, 3 insertions(+)

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