Utilities/__init__.py

changeset 4217
38e8903f9c2f
parent 4021
195a471c327b
child 4225
fbb20e09ce9d
--- a/Utilities/__init__.py	Sun Apr 12 18:00:45 2015 +0200
+++ b/Utilities/__init__.py	Tue Apr 14 19:51:10 2015 +0200
@@ -1427,6 +1427,8 @@
 
     pyVer = 0
     if filename:
+        if not source:
+            source = readEncodedFile(filename)[0]
         flags = extractFlags(source)
         ext = os.path.splitext(filename)[1]
         py2Ext = Preferences.getPython("PythonExtensions")

eric ide

mercurial