michael@0: 
michael@0: // pre-emptively shut down to clear resources
michael@0: if (typeof IdentityService !== "undefined") {
michael@0:   IdentityService.shutdown();
michael@0: } else if (typeof IDService !== "undefined") {
michael@0:   IDService.shutdown();
michael@0: }
michael@0: