Merge branch 'master' into disable_plugins_in_data

This commit is contained in:
caryoscelus 2023-07-21 10:56:58 +00:00
commit 809f138edb
4 changed files with 16 additions and 14 deletions

View file

@ -184,10 +184,10 @@ trackers = [
class Config(object):
def __init__(self, argv):
self.version = "0.7.9"
self.version = "0.7.9+"
self.user_agent = "conservancy"
# DEPRECATED ; replace with git-generated commit
self.rev = 5100
self.rev = 5110
self.user_agent_rev = 8192
self.argv = argv
self.action = None

View file

@ -514,6 +514,11 @@ class ContentManager(object):
for permission_pattern, permission_rules in list(user_contents["permission_rules"].items()): # Regexp rules
if not SafeRe.match(permission_pattern, user_urn):
continue # Rule is not valid for user
if permission_rules is None:
self.log.info(f'Permission rule for {permission_pattern} is null, '
'we set max_size[_optional] to zero. '
'NOTE: This is not supported by <0.7.10')
permission_rules = {'max_size': 0, 'max_size_optional': 0}
# Update rules if its better than current recorded ones
for key, val in permission_rules.items():
if key not in rules: