Yuvipanda has submitted this change and it was merged.
Change subject: Add delete command to be clear and delete subscriptions
......................................................................
Add delete command to be clear and delete subscriptions
Change-Id: I3c286710f6e43d5fbfb129e3d9d666879cd33fc1
---
M src/subscriptions.py
1 file changed, 8 insertions(+), 0 deletions(-)
Approvals:
Yuvipanda: Verified; Looks good to me, approved
diff --git a/src/subscriptions.py b/src/subscriptions.py
index d7a88b2..003f0fd 100755
--- a/src/subscriptions.py
+++ b/src/subscriptions.py
@@ -37,6 +37,10 @@
for subscription in subscriptions:
print "%s - %s" % (subscription, red.llen(subscription))
+def delete_subscription(args):
+ red.pipeline().delete(args.key).srem(make_key(CLIENTS_KEY),
args.key).save().execute()
+ logging.info('Removed key %s' % args.key)
+
if __name__ == '__main__':
parser = argparse.ArgumentParser(description="Manage redis gerrit
subscriptions")
subparsers = parser.add_subparsers()
@@ -48,5 +52,9 @@
parser_list_subscriptions = subparsers.add_parser('list', help='List all
subscriptions')
parser_list_subscriptions.set_defaults(func=list_subscriptions)
+ parser_subscribe = subparsers.add_parser('delete', help='Delete a
subscription')
+ parser_subscribe.add_argument('key')
+ parser_subscribe.set_defaults(func=delete_subscription)
+
args = parser.parse_args()
args.func(args)
--
To view, visit https://gerrit.wikimedia.org/r/76465
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I3c286710f6e43d5fbfb129e3d9d666879cd33fc1
Gerrit-PatchSet: 2
Gerrit-Project: labs/tools/gerrit-to-redis
Gerrit-Branch: master
Gerrit-Owner: Yuvipanda <[email protected]>
Gerrit-Reviewer: Yuvipanda <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
