Fix of ancient WB bug: test integer option values for validity
authorH.G. Muller <h.g.muller@hccnet.nl>
Tue, 26 Jan 2010 18:28:43 +0000 (19:28 +0100)
committerH.G. Muller <h.g.muller@hccnet.nl>
Sat, 30 Jan 2010 09:02:09 +0000 (10:02 +0100)
commitf85f80fff1e9c9cb10f0d84ffd67d1df517dca3a
tree2241aef652bb39253e6463b5a804ceccd17171f8
parentf410ea90e1a5e7255f4d5466477e1b6883de59ca
Fix of ancient WB bug: test integer option values for validity

Only a string of digits preceded by an optional sign is accepted now.
Before, any string was accepted, and leaving out a value could lead to
the next option being ignored (if it did not need a value) because it
was considered the value for the previous one!
args.h