Issue 358:  make_domain_manager issue (sec-rev)
Source:  (, )
Nature:  Bug
Severity:  Serious
Summary: Summary: make_domain_manager forces the default to be making a new domain manager for every new instance of this interface. There is no inverse operation. Adding a boolean for enable/disable?

Resolution:  resolved, close issue
Revised Text: 
Actions taken:
November 18, 1996: received issue
March 26, 1998: closed issue
Discussion: 

End of Annotations:=====