gui fixes

This commit is contained in:
SJ
2013-11-15 22:47:11 +01:00
parent aaeedb7305
commit 0c7a366edf
6 changed files with 23 additions and 22 deletions

View File

@ -83,7 +83,7 @@ function isBinary($num = '') {
function get_page_length() {
$page_len = PAGE_LEN;
if(isset($_SESSION['pagelen']) && is_numeric($_SESSION['pagelen']) && $_SESSION['pagelen'] >= 10 && $_SESSION['pagelen'] <= 50) {
if(isset($_SESSION['pagelen']) && is_numeric($_SESSION['pagelen']) && $_SESSION['pagelen'] >= 10 && $_SESSION['pagelen'] <= MAX_SEARCH_HITS) {
$page_len = $_SESSION['pagelen'];
}