delete gURIToIDTable; PRInt32 index = gURIArray->Count(); while (0 < index--) { nsString* str = (nsString*)gURIArray->ElementAt(index); delete str; } delete gURIArray; gURIToIDTable = nsnull; gURIArray = nsnull;  NS_IF_RELEASE(gElementFactoryArray); NS_IF_RELEASE(gDefaultElementFactory);  #ifdef NS_DEBUG gNameSpaceManagerWasShutDown = PR_TRUE; #endif
NS_IF_RELEASE(gNameSpaceManager);
void NS_NameSpaceManagerShutdown(){  delete gURIToIDTable;  PRInt32 index = gURIArray->Count();  while (0 < index--) {    nsString* str = (nsString*)gURIArray->ElementAt(index);    delete str;  }  delete gURIArray;  gURIToIDTable = nsnull;  gURIArray = nsnull;  NS_IF_RELEASE(gElementFactoryArray);  NS_IF_RELEASE(gDefaultElementFactory);#ifdef NS_DEBUG  gNameSpaceManagerWasShutDown = PR_TRUE;#endif}