Merge branch 'dev' of github.com:davidhalter/jedi into dev

2014-04-25 15:03:36 +02:00
parent a6f962f1c2 ecd9470803
commit 289dbc8629
4 changed files with 24 additions and 8 deletions
@@ -32,9 +32,7 @@ def find_module_py33(string, path=None):
            module_file = None
        else:
            module_path = loader.get_filename(string)
-            module_ext = os.path.splitext(module_path)[1]
-            mode = 'rb' if module_ext in ['.pyc', '.so', '.pyd'] else 'r'
-            module_file = open(module_path, mode)
+            module_file = open(module_path, 'rb')
    except AttributeError:
        # ExtensionLoader has not attribute get_filename, instead it has a
        # path attribute that we can use to retrieve the module path