From 9f9398866adac30930d3d485e03d7810309461a9 Mon Sep 17 00:00:00 2001
From: Andreas Monzner <andreas.monzner@multimedia-labs.de>
Date: Mon, 10 Mar 2008 21:08:12 +0000
Subject: dont show pip options in extension menu when no pip is available

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

(limited to 'lib/python/Tools')

diff --git a/lib/python/Tools/Directories.py b/lib/python/Tools/Directories.py
index 0096f3f4..4cdb1d42 100644
--- a/lib/python/Tools/Directories.py
+++ b/lib/python/Tools/Directories.py
@@ -105,9 +105,9 @@ def createDir(path):
 		ret = 1
 	return ret
 
-def fileExists(f):
+def fileExists(f, mode='r'):
 	try:
-		file = open(f)
+		file = open(f, mode)
 	except IOError:
 		exists = 0
 	else:
-- 
cgit v1.2.3