4532: Patch for Windows (by josip)

svn: r16386
2011-01-15 09:43:34 +00:00
parent 51f239f53b
commit 5c8a3f7488
5 changed files with 37 additions and 4 deletions
--- a/src/Utils.py
+++ b/src/Utils.py
@ -470,6 +470,8 @@ def search_for(name):
            fname = os.path.join(i, name)
            if os.access(fname, os.X_OK) and not os.path.isdir(fname):
                return 1
+        if os.access(name, os.X_OK) and not os.path.isdir(name):
+            return 1
    else:
        for i in os.environ['PATH'].split(':'):
            fname = os.path.join(i, name)