diff options
Diffstat (limited to 'tools/merge_dist.py')
| -rwxr-xr-x | tools/merge_dist.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/merge_dist.py b/tools/merge_dist.py index 7a13bfa..b018f63 100755 --- a/tools/merge_dist.py +++ b/tools/merge_dist.py @@ -167,7 +167,7 @@ def main(): return 1 sth_statinfo_old = sth_statinfo while sth_statinfo == sth_statinfo_old: - sleep(args.mergeinterval / 30) + sleep(max(3, args.mergeinterval / 10)) sth_statinfo = stat(sth_path) return 0 |