diff options
author | 2018-02-20 17:05:46 +0100 | |
---|---|---|
committer | 2018-02-21 10:32:58 +0100 | |
commit | 49fb161d226bf3f77bf774ac65ebf1e95b6d1476 (patch) | |
tree | d12678ca564ae089c00056a857b70fb58249be83 /INSTALL/tools | |
parent | dc1ac33bcfd55b9df2ad39e653a63a930d09af31 (diff) |
Protect already taken IDs
Avoid user to choose an already taken ID at container creation
Also display occupied ID list.
Change-Id: Ic5094454097d5cbd9cbf01d2bb6eee24c8eafd8b
Signed-off-by: Romain Forlot <romain.forlot@iot.bzh>
Diffstat (limited to 'INSTALL/tools')
0 files changed, 0 insertions, 0 deletions