diff options
Diffstat (limited to 'git-interface/git-serve.py')
| -rwxr-xr-x | git-interface/git-serve.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/git-interface/git-serve.py b/git-interface/git-serve.py index 8316cf7..0798b74 100755 --- a/git-interface/git-serve.py +++ b/git-interface/git-serve.py @@ -23,6 +23,7 @@ ssh_cmdline = config.get('serve', 'ssh-cmdline') enable_maintenance = config.getboolean('options', 'enable-maintenance') maintenance_exc = config.get('options', 'maintenance-exceptions').split() +branding_name = config.get('options', 'branding_shortname') def pkgbase_exists(pkgbase): db = mysql.connector.connect(host=aur_db_host, user=aur_db_user, @@ -115,7 +116,7 @@ action = cmdargv[0] if enable_maintenance: remote_addr = os.environ["SSH_CLIENT"].split(" ")[0] if not remote_addr in maintenance_exc: - die("The AUR is down due to maintenance. We will be back soon.") + die("The %s is down due to maintenance. We will be back soon." % branding_name) if action == 'git-upload-pack' or action == 'git-receive-pack': if len(cmdargv) < 2: |