If an option has been handled, return its value

This commit is contained in:
John Wiegley 2009-02-19 01:32:27 -04:00
parent 7a0597dbe3
commit b9624df86b

View file

@ -165,7 +165,7 @@ public:
}
else if (wants_arg) {
if (handled)
return string_value(str());
return value;
else
return false;
}