eric6/E5Gui/E5SingleApplication.py

changeset 8234
fcb6b4b96274
parent 8047
b5594178c7fa
equal deleted inserted replaced
8233:bad78a592cc2 8234:fcb6b4b96274
121 # holds space delimited list of command args, if any 121 # holds space delimited list of command args, if any
122 argsStr = None 122 argsStr = None
123 # flag indicating '--' options was found 123 # flag indicating '--' options was found
124 ddseen = False 124 ddseen = False
125 125
126 if Utilities.isWindowsPlatform(): 126 argChars = ['-', '/'] if Utilities.isWindowsPlatform() else ['-']
127 argChars = ['-', '/']
128 else:
129 argChars = ['-']
130 127
131 for arg in args: 128 for arg in args:
132 if arg == '--' and not ddseen: 129 if arg == '--' and not ddseen:
133 ddseen = True 130 ddseen = True
134 continue 131 continue

eric ide

mercurial