posted 21 years ago
It is unnecessary but harmless. If the client exits gracefully, it should call db.close() anyway and it is immaterial when Unreferenced is called (as you have already been able to do your cleanup). If the client does not exit gracefully, well, you will only find out when the lease expires anyway.
- Peter
Peter den Haan | peterdenhaan.com | quantum computing specialist, Objectivity Ltd