bugfix oidc client not working

the file gets created, but you need to wait some time to get data into it
This commit is contained in:
pedro 2023-09-21 21:33:11 +02:00
parent 7a85ebd8f8
commit 2c4b0006cc
1 changed files with 7 additions and 4 deletions

View File

@ -119,18 +119,21 @@ config_oidc() {
# in DEVICEHUB_HOST we remove anything before ://
client_id_config="/shared/client_id_${DEVICEHUB_HOST#*://}"
client_id=
client_secret=
# wait that the file generated by the server_id is readable
while true; do
if [ -f "${client_id_config}" ]; then
client_id="$(cat "${client_id_config}" | jq -r '.client_id')"
client_secret="$(cat "${client_id_config}" | jq -r '.client_secret')"
if [ "${client_id}" ] && [ "${client_secret}" ]; then
break
fi
fi
sleep 1
done
client_id="$(cat "${client_id_config}" | jq -r '.client_id')"
client_secret="$(cat "${client_id_config}" | jq -r '.client_secret')"
flask add_client_oidc \
"${SERVER_ID_HOST}" \
"${client_id}" \