Author
|
zPlus <zplus@peers.community>
2023-03-21 10:07:01
|
Committer
|
zPlus <zplus@peers.community>
2023-03-21 10:07:01
|
Commit
|
88b76dd
(patch)
|
Tree
|
836d3de
|
Parent(s)
|
|
Convert LOG_PAGINATION envvar to integer.
commits diff:
627fcd7..88b76dd
1 file changed,
1 insertion,
1 deletion
—
download
Diffstat
Diff options
+1/-1
M web.py
42
|
42
|
|
INSTANCE_DOMAIN = os.environ.get('INSTANCE_DOMAIN')
|
43
|
43
|
|
|
44
|
44
|
|
# How many commits to show in the log page
|
45
|
|
- |
LOG_PAGINATION = os.environ.get('LOG_PAGINATION')
|
|
45
|
+ |
LOG_PAGINATION = int(os.environ.get('LOG_PAGINATION'))
|
46
|
46
|
|
|
47
|
47
|
|
# Enable +/- file stats in the log page. Can be disabled for performance, since
|
48
|
48
|
|
# computing diffstat on many commits for big repos could take too long.
|