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 |