Download:
child 250:c6c59c348e26
parent 248:46372b527fd0
249:bfd7ba5b3a30
Anton Shestakov <av6@dwimlabs.net>, Thu, 17 Nov 2016 00:05:04 +0800
queue: make clear what kind of interval it is

1 файлов изменено, 2 вставок(+), 2 удалений(-) [+]
poll-hgweb-queue.py file | annotate | diff | comparison | revisions
--- a/poll-hgweb-queue.py Thu Nov 17 00:03:14 2016 +0800
+++ b/poll-hgweb-queue.py Thu Nov 17 00:05:04 2016 +0800
@@ -110,7 +110,7 @@
group.add_argument('--redis-host', help='(default: 127.0.0.1)')
group.add_argument('--redis-port', type=int, help='(default: 6379)')
group.add_argument('--redis-password')
- group.add_argument('--interval', type=int, help='(default: 1 hour)')
+ group.add_argument('--poll-interval', type=int, help='(default: 1 hour)')
args = parser.parse_args()
config = yaml.safe_load(args.config) if hasattr(args, 'config') else {}
@@ -118,7 +118,7 @@
rhost = lookup_option('redis-host', args, config, default='127.0.0.1')
rport = lookup_option('redis-port', args, config, default=6379)
rpass = lookup_option('redis-password', args, config)
- interval = lookup_option('interval', args, config, default=60 * 60)
+ interval = lookup_option('poll-interval', args, config, default=60 * 60)
logging.basicConfig(
level=logging.DEBUG if args.debug else logging.INFO,