On Jan 30, 2012, at 8:05 AM, Massimo Di Pierro wrote:
> what does append('--') do?It tells the command (python in this case) to stop processing command-line options for itself.
On Jan 30, 2012, at 8:05 AM, Massimo Di Pierro wrote:
> what does append('--') do?It tells the command (python in this case) to stop processing command-line options for itself.