diff --git a/openerp-web b/openerp-web
index 02ec921f422..a56fa2cbfe7 100755
--- a/openerp-web
+++ b/openerp-web
@@ -60,17 +60,11 @@ if __name__ == "__main__":
         if os.path.exists(path_addons):
             options.addons_path.append(path_addons)
 
-    def remove_end_slash(text):
-        if text[-1] in '/\\':
-            return text[:-1]
-        return text
-
-    def drop_false_path(path):
-        if os.path.exists(path):
-            return True
-
-    options.addons_path = map(remove_end_slash, options.addons_path)
-    options.addons_path = filter(drop_false_path, options.addons_path)
+    options.addons_path = [
+        path[:-1] if path[-1] in r'\/' else path
+        for path in options.addons_path
+        if os.path.exists(path)
+    ]
 
     for path_addons in options.addons_path:
         if path_addons not in sys.path: