| commit | 09c73432734ac28d481141d54fcda0c164625641 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Wed Jun 26 15:14:48 2002 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Wed Jun 26 15:14:48 2002 +0000 |
| tree | 3d02f07dfcc8f41c438e33a2ca9dfa98cf7004ed | |
| parent | 96cad2ea473a8415f1732bdcd4f266ec84d80e5f [diff] |
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.