util/BitmapLibrary.py
changeset 815 e4f24593a758
parent 814 5743cbdff669
child 1571 486f94a8032c
--- a/util/BitmapLibrary.py	Fri Sep 07 16:45:55 2012 +0200
+++ b/util/BitmapLibrary.py	Fri Sep 07 18:28:45 2012 +0200
@@ -38,7 +38,7 @@
 #-------------------------------------------------------------------------------
 
 def AddBitmapFolder(path):
-    if path not in BitmapFolders:
+    if os.path.exists(path) and os.path.isdir(path) and path not in BitmapFolders:
         BitmapFolders.append(path)
 
 def SearchBitmap(bmp_name):