Plugins/PluginEricapi.py

changeset 6495
6e73d31af3af
parent 6217
35b9e03ffcd6
child 6645
ad476851d7e0
diff -r 72e3d61e5a20 -r 6e73d31af3af Plugins/PluginEricapi.py
--- a/Plugins/PluginEricapi.py	Sun Sep 09 19:30:54 2018 +0200
+++ b/Plugins/PluginEricapi.py	Mon Sep 10 18:15:10 2018 +0200
@@ -51,7 +51,9 @@
     """
     exe = 'eric6_api'
     if Utilities.isWindowsPlatform():
-        exe = os.path.join(getConfig("bindir"), exe + '.bat')
+        exe = os.path.join(getConfig("bindir"), exe + '.cmd')
+        if not os.path.exists(exe):
+            exe = os.path.join(getConfig("bindir"), exe + '.bat')
     else:
         exe = os.path.join(getConfig("bindir"), exe)
     

eric ide

mercurial