Just to close out this earlier thread, I made the change to merge parent
properties into the map returned by Options.getProperties() along with
my Javadoc updates.
- Dennis
David Illsley wrote:
I don't know what it's supposed to do (though I prefer the latter),
but +1 to a good javadoc description when you work it out ;-)
David
On 11/09/06, Bill Nagy <[EMAIL PROTECTED]> wrote:
Is Options.getProperties() not supposed to return a full Map (including
parent properties) or is the current code incorrect? (I'm voting for
the later, but I figured that I'd ask before I made any changes.)
-Bill
---------------------------------------------------------------------
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]
---------------------------------------------------------------------
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]
