From 88b76dd770ed92e22962dbaff3b77739460c0269 Mon Sep 17 00:00:00 2001
From: zPlus <zplus@peers.community>
Date: Tue, 21 Mar 2023 11:07:01 +0100
Subject: [PATCH] Convert LOG_PAGINATION envvar to integer.

---
 web.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/web.py b/web.py
index d2b0e53..2574bf2 100644
--- a/web.py
+++ b/web.py
@@ -42,7 +42,7 @@ GITOLITE_HTTP_HOME = os.environ.get('GITOLITE_HTTP_HOME')
 INSTANCE_DOMAIN = os.environ.get('INSTANCE_DOMAIN')
 
 # How many commits to show in the log page
-LOG_PAGINATION = os.environ.get('LOG_PAGINATION')
+LOG_PAGINATION = int(os.environ.get('LOG_PAGINATION'))
 
 # Enable +/- file stats in the log page. Can be disabled for performance, since
 # computing diffstat on many commits for big repos could take too long.