diff options
author | Kevin Hilman <khilman@baylibre.com> | 2020-07-13 10:02:37 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-07-13 10:02:37 -0700 |
commit | 5b77713b6290e44cbe34a426fea71f5881949f72 (patch) | |
tree | c6bf8fa56385f5aec0e4b86abb7279f04f3f63e4 | |
parent | 5b1bcbd6d14154056313e9c36ca8ea7bc52e5173 (diff) | |
parent | b06cb57f91f7f070209bc17aeb549fc769168c8e (diff) |
Merge pull request #121 from aliceinwire/handle_upper_case
Fix upper case on boards.yaml
-rwxr-xr-x | lavalab-gen.py | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/lavalab-gen.py b/lavalab-gen.py index 55020d4..bcc727f 100755 --- a/lavalab-gen.py +++ b/lavalab-gen.py @@ -118,7 +118,7 @@ def main(): for keyword in master: if not keyword in keywords_master: print("WARNING: unknown keyword %s" % keyword) - name = master["name"] + name = master["name"].lower() print("Handle %s\n" % name) if not "host" in master: host = "local" @@ -377,7 +377,7 @@ def main(): for keyword in slave: if not keyword in keywords_slaves: print("WARNING: unknown keyword %s" % keyword) - name = slave["name"] + name = slave["name"].lower() if len(slaves) == 1: default_slave = name print("Handle %s" % name) @@ -464,7 +464,7 @@ def main(): shutil.copy(worker["zmq_auth_key_secret"], "%s/zmq_auth/" % workerdir) shutil.copy(worker["zmq_auth_master_key"], "%s/zmq_auth/" % workerdir) for fm in masters: - if fm["name"] == remote_master: + if fm["name"].lower() == remote_master.lower(): slave_master = fm for fuser in fm["users"]: if fuser["name"] == remote_user: @@ -627,7 +627,7 @@ def main(): print("\tFound %s on %s" % (board_name, worker_name)) found_slave = False for fs in workers["slaves"]: - if fs["name"] == worker_name: + if fs["name"].lower() == worker_name.lower(): slave = fs found_slave = True if not found_slave: |