A bug about corba.endpoint has been fixed.Now corba.endpoint/corba.endpoints options are enabled, andduplicate endpoint entries are automatically eliminated.
A bug about corba.endpoint has been fixed.
Now corba.endpoint/corba.endpoints options are enabled, and
duplicate endpoint entries are automatically eliminated.