--- 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)