Utilities/__init__.py

changeset 5421
ce62341e81b6
parent 5389
9b1c800daff3
child 5586
0e5421d679e7
--- a/Utilities/__init__.py	Sat Jan 14 14:12:42 2017 +0100
+++ b/Utilities/__init__.py	Sun Jan 15 13:59:11 2017 +0100
@@ -1006,7 +1006,7 @@
         cur_path = os.path.join(os.curdir, filename)
         if os.path.exists(cur_path):
             if os.access(cur_path, os.X_OK):
-                return cur_path
+                return os.path.abspath(cur_path)
 
     path = os.getenv('PATH')
     

eric ide

mercurial