eric6/E5Gui/E5SingleApplication.py

changeset 8234
fcb6b4b96274
parent 8047
b5594178c7fa
diff -r bad78a592cc2 -r fcb6b4b96274 eric6/E5Gui/E5SingleApplication.py
--- a/eric6/E5Gui/E5SingleApplication.py	Tue Apr 13 17:49:05 2021 +0200
+++ b/eric6/E5Gui/E5SingleApplication.py	Tue Apr 13 18:02:59 2021 +0200
@@ -123,10 +123,7 @@
         # flag indicating '--' options was found
         ddseen = False
         
-        if Utilities.isWindowsPlatform():
-            argChars = ['-', '/']
-        else:
-            argChars = ['-']
+        argChars = ['-', '/'] if Utilities.isWindowsPlatform() else ['-']
         
         for arg in args:
             if arg == '--' and not ddseen:

eric ide

mercurial