From 5252cb3f691d82d74b3ef5eb0276e216f215e461 Mon Sep 17 00:00:00 2001 From: Alexander Larsson Date: Fri, 8 Nov 2019 09:51:56 +0100 Subject: [PATCH] client: push --publish --wait-update implies --wait Previously you had to specify both for --wait-update to work, which makes no sense. --- flat-manager-client | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/flat-manager-client b/flat-manager-client index 3694326..183ebf8 100755 --- a/flat-manager-client +++ b/flat-manager-client @@ -545,7 +545,7 @@ async def push_command(session, args): commit_job = await commit_build(session, args.build_url, args.end_of_life, args.end_of_life_rebase, args.publish or args.wait, args.token) if args.publish: - publish_job = await publish_build(session, args.build_url, args.wait, args.token) + publish_job = await publish_build(session, args.build_url, args.wait or args.wait_update, args.token) update_job_id = publish_job.get("results", {}).get("update-repo-job", None) if update_job_id: print("Queued repo update job %d" %(update_job_id)) @@ -572,7 +572,7 @@ async def commit_command(session, args): return job async def publish_command(session, args): - job = await publish_build(session, args.build_url, args.wait, args.token) + job = await publish_build(session, args.build_url, args.wait or args.wait_update, args.token) update_job_id = job.get("results", {}).get("update-repo-job", None) if update_job_id: print("Queued repo update job %d" %(update_job_id))