public void processURL(URL url) {
		try {
			//log̨̬Ϣ
			log("ȡ: " + url);
			//URLConnection
			/**
			 * htmlṹ
			 * http-equiv="Content-Type" content="text/html; charset=gb2312"
			 */
			URLConnection connection = url.openConnection();
			if ((connection.getContentType() != null)&& !connection.getContentType().toLowerCase().startsWith("text/")) {
				getWorkloadWaiting().remove(url);
				getWorkloadProcessed().add(url);
				log("Not processing because content type is: "
						+ connection.getContentType());
				return;
			}
			//
			InputStream is = connection.getInputStream();
			Reader r = new InputStreamReader(is);
			HTMLEditorKit.Parser parse = (new HtmlHandle()).getParser();
			parse.parse(r, new Parser(url), true);
		} catch (IOException e) {
			getWorkloadWaiting().remove(url);
			getWorkloadError().add(url);
			log(": " + url);
			report.spiderURLError(url);
			return;
		}
		getWorkloadWaiting().remove(url);
		getWorkloadProcessed().add(url);
		log("ȡ: " + url);

	}