plugins/__init__.py
changeset 83 ad4dafe7bfee
parent 17 ee8cb104dbe0
child 106 9810689febb0
--- a/plugins/__init__.py	Thu Dec 20 16:36:14 2007 +0100
+++ b/plugins/__init__.py	Fri Dec 21 17:25:53 2007 +0100
@@ -2,4 +2,4 @@
 
 _base_path = path.split(__file__)[0]
 
-__all__ = [name for name in listdir(_base_path) if path.isdir(path.join(_base_path, name)) and name != "CVS" or name.endswith(".py") and not name.startswith("__")]
+__all__ = [name for name in listdir(_base_path) if path.isdir(path.join(_base_path, name)) and name.upper() != "CVS" or name.endswith(".py") and not name.startswith("__")]