is this correct? (realm object destructor)

[u-codalist-rcma]

Hello,

I guess the realm object destructor is not being called ever
but if it would I am unsure whether the call to ReplaceRootServers()
is correct. Shouldn't this instead look as follows:

------------
--- a/coda-src/venus/realm.cc
+++ b/coda-src/venus/realm.cc
@@ -83,7 +83,7 @@ Realm::~Realm(void)
     rec_list_del(&realms);
     if (rootservers) {
        eprint("Removing realm '%s'", name);
-       ReplaceRootServers();
+       ReplaceRootServers(NULL);
     }
 
     /* remove the name entry from /coda */
------------

?

Rune