diff options
| author | 2009-07-24 13:36:42 +0200 | |
|---|---|---|
| committer | 2009-07-30 14:15:26 +0200 | |
| commit | f44c4e1c5ddb6f31644335df1c0ae6f91d189a20 (patch) | |
| tree | 114d0f6cf66e399233cee818fb42593537511c96 /mini-dinstall | |
| parent | 039b7334e510ea2ee02847b73746cba214b89c7b (diff) | |
allow to disable chmod on incoming
If you share a repository with a group, it may be possible you are not
allowed to change permission on incoming. Setting incoming_permissions
to zero will disable this chmod.
Closes: #535558
Diffstat (limited to 'mini-dinstall')
| -rwxr-xr-x | mini-dinstall | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/mini-dinstall b/mini-dinstall index 6261934..9359fa5 100755 --- a/mini-dinstall +++ b/mini-dinstall @@ -173,6 +173,8 @@ def do_rename(source, target): do_and_log('Renaming "%s" to "%s"' % (source, target), os.rename, source, target) def do_chmod(name, mode): + if mode == 0: + return do_and_log('Changing mode of "%s" to %o' % (name, mode), os.chmod, name, mode) logger.setLevel(logging.DEBUG) |
