String xmlrpcAccessProp = props.getProperty ("xmlrpcaccess"); HashSet xra = new HashSet (); if (xmlrpcAccessProp != null) { StringTokenizer st = new StringTokenizer (xmlrpcAccessProp, ",; "); while (st.hasMoreTokens ()) { String token = st.nextToken ().trim (); xra.add (token.toLowerCase()); } } xmlrpcAccess = xra;
    private synchronized void updateProperties () {	// if so property file has been updated, re-read props.	if (props.lastModified () > lastPropertyRead) {	    // character encoding to be used for responses	    charset = props.getProperty ("charset", "ISO-8859-1");	    // debug flag	    debug = "true".equalsIgnoreCase (props.getProperty ("debug"));	     try {	        requestTimeout = Long.parseLong (props.getProperty ("requestTimeout", "60"))*1000l;	    } catch (Exception ignore) {	        // go with default value	        requestTimeout = 60000l;	    }	    // set base URI	    String base = props.getProperty ("baseURI");	    if (base != null)	        setBaseURI (base);	    else if (baseURI == null)	        baseURI = "/";	    // if node manager exists, update it	    if (nmgr != null)	        nmgr.updateProperties (props);	    // set prop read timestamp	    lastPropertyRead = props.lastModified ();	}    }