636465666768697071
//p( "iterating through servers" ); while ( it.hasNext() ) { String url = ( String ) it.next() + servlet; //p( "url = " + url ); tpm.runIt( new DeleteLateralCacheUnicaster( hashtableName, key, url ) ); } return; }
767778798081828384