public int getPageSize() {
            if (pageSize != -1) {
                return pageSize;
            }

            final String num = request.getParameter("num");
            if (StringUtil.isBlank(num)) {
                pageSize = fessConfig.getPagingSearchPageSizeAsInteger();
            } else {
                try {
                    pageSize = Integer.parseInt(num);

     * @param pageStart The starting page number.
     * @param pageSize The size of the page.
     * @param queryResponseList The list of query responses.
     */
    public void addSearchLog(final SearchRequestParams params, final LocalDateTime requestedTime, final String queryId, final String query,
            final int pageStart, final int pageSize, final QueryResponseList queryResponseList) {

            RenderDataUtil.register(data, "appendHighlightParams", appendHighlightParams);
            RenderDataUtil.register(data, "execTime", execTime);
            RenderDataUtil.register(data, "pageSize", pageSize);
            RenderDataUtil.register(data, "currentPageNumber", currentPageNumber);
            RenderDataUtil.register(data, "allRecordCount", allRecordCount);

        /**
         * The execution time of the search query.
         */
        protected String execTime;
        /**
         * The page size of the search results.
         */
        protected int pageSize;
        /**
         * The current page number of the search results.
         */
        protected int pageNumber;
        /**
         * The total number of records found.
         */

    public static final String GUEST_USER = "guest";

    /** Conversion rule array for pager components. */
    public static final String[] PAGER_CONVERSION_RULE =
            { "allRecordCount", "pageSize", "currentPageNumber", "allPageCount", "existPrePage", "existNextPage" };

    // ============================================================
    // Crawler Types