@ -100,12 +100,14 @@ public final class QueryParams {
public int resultcount ; // number of found results
public long searchtime , urlretrievaltime , snippetcomputationtime ; // time to perform the search, to get all the urls, and to compute the snippets
public boolean specialRights ; // is true if the user has a special authorization and my use more database-extensive options
public final String userAgent ;
public QueryParams ( final String queryString ,
final int itemsPerPage ,
final Bitfield constraint ,
final Segment indexSegment ,
final RankingProfile ranking ) {
final RankingProfile ranking ,
final String userAgent ) {
if ( ( queryString . length ( ) = = 12 ) & & ( Base64Order . enhancedCoder . wellformed ( queryString . getBytes ( ) ) ) ) {
this . queryString = null ;
@ -148,6 +150,7 @@ public final class QueryParams {
this . specialRights = false ;
this . navigators = "all" ;
this . indexSegment = indexSegment ;
this . userAgent = userAgent ;
}
public QueryParams (
@ -168,7 +171,8 @@ public final class QueryParams {
final String host ,
final boolean specialRights ,
final Segment indexSegment ,
final RankingProfile ranking ) {
final RankingProfile ranking ,
final String userAgent ) {
this . queryString = queryString ;
this . queryHashes = queryHashes ;
@ -200,6 +204,7 @@ public final class QueryParams {
this . handle = Long . valueOf ( System . currentTimeMillis ( ) ) ;
this . specialRights = specialRights ;
this . indexSegment = indexSegment ;
this . userAgent = userAgent ;
}
public Segment getSegment ( ) {