[jacorb-developer] A problem with NameManager

[Ravagli Virgilio]

Hello,

I've found a strange behavior of the NameManager utility (Jacorb 3.0).

Suppose I'm starting from scratch.
I launch Name Service, then I launch NameManager: the dialog correctly shows an empty RootContext.

Then, I create (by means of Edit-->BindNewContext) a context, e.g. JackSpace.
I see no updates at all, nothing changes in the dialog.

I think there should be an automatic refresh, but it never occurs, even if I change the preferences by means of Edit-->Options.

If I exit and then I start again the utility, I can see the right tree.

Is it a real refreshing problem, or am I making any mistakes ?

Thanks in advance,
Virgilio