Utilities/__init__.py

changeset 6495
6e73d31af3af
parent 6477
096fefd24a26
child 6544
51996454f89f
--- a/Utilities/__init__.py	Sun Sep 09 19:30:54 2018 +0200
+++ b/Utilities/__init__.py	Mon Sep 10 18:15:10 2018 +0200
@@ -1014,9 +1014,9 @@
     Function to build the full path of an executable file from the environment
     on Windows platforms.
     
-    First an executable with the extension .exe is searched for, thereafter one
-    with the extension .bat and finally the given file name as is. The first
-    match is returned.
+    First an executable with the extension .exe is searched for, thereafter
+    such with the extensions .cmd or .bat and finally the given file name as
+    is. The first match is returned.
     
     @param file filename of the executable to check (string)
     @return full executable name, if the executable file is accessible
@@ -1029,7 +1029,7 @@
         else:
             return ""
     
-    filenames = [file + ".exe", file + ".bat", file]
+    filenames = [file + ".exe", file + ".cmd", file + ".bat", file]
     
     for filename in filenames:
         cur_path = os.path.join(os.curdir, filename)

eric ide

mercurial