$num_start = $tot ? ($x+1) : 0;
$num_end = $tot<($x+$y) ? $tot : ($x+$y);
# NB 01.10.18 $html .= '<span class="count page-item"><span class="page-link">'.$page.' / '.$pages.'</span></span>';
- $html .= '<span class="count page-item"><span class="page-link">'.$num_start.' - '.$num_end.' / '.$tot.$page.'</span></span>';
+# NB 18.03.19 $html .= '<span class="count page-item"><span class="page-link">'."$num_start - $num_end / $tot ($page)</span></span>";
+ $html .= '<span class="count page-item"><span class="page-link">'."$page / $pages | $tot</span></span>";
if ($next<$tot) {
$html .= '<span class="next page-item"><a class="page-link" href="'.$this->url_list('limit',"$next,$y").'">></a></span>';
SELECT host
,LEFT(CAST(MAX(updated) AS TEXT),19) as updated
,count(*) as infos
+ ,array_to_string(array_agg(DISTINCT CASE WHEN key LIKE 'git.%.name' THEN val ELSE null END),' ') as installed
,array_to_string(array_agg(DISTINCT CASE WHEN key LIKE 'git.%.branch' THEN val ELSE null END),' ') as branches
FROM host_info
GROUP BY host