tree 3d02f07dfcc8f41c438e33a2ca9dfa98cf7004ed
parent 96cad2ea473a8415f1732bdcd4f266ec84d80e5f
author Jack Jansen <jack.jansen@cwi.nl> 1025104488 +0000
committer Jack Jansen <jack.jansen@cwi.nl> 1025104488 +0000
HG:extra convert_revision:svn%3A6015fed2-1504-0410-9fe1-9d1591cc4771/python/branches/legacy-trunk%4027373

Turns out GetArgv() options can be 4-tuples too, with the last value being the default (or something like that). Cater for this.

Also put in a safeguard against very long help strings.