Searched refs:useragent (Results 1 – 4 of 4) sorted by relevance
62 String useragent = HttpProtocolParams.getUserAgent(request.getParams()); in process() local63 if (useragent != null) { in process()64 request.addHeader(HTTP.USER_AGENT, useragent); in process()
155 public static void setUserAgent(final HttpParams params, final String useragent) { in setUserAgent() argument159 params.setParameter(CoreProtocolPNames.USER_AGENT, useragent); in setUserAgent()
54 #useragent {
468 … ", run on: " + data.created_at + " by:<br>" + data.useragent + "</div>");475 runs[data.id].name = (data.useragent.match(/(MSIE [\d.]+)/) ||476 … data.useragent.match(/((?:WebKit|Firefox|Shiretoko|Opera)\/[\w.]+)/) || [0,data.id])[1];