Merge pull request #157 from adn77/master

Minor update: check if devicelist.txt exists
pull/161/head
Alex 2022-06-12 23:48:36 +02:00 committed by GitHub
commit 7b189af26e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -1242,7 +1242,7 @@ if [ $? -eq 0 ] ; then
fi
fi
if [ ! -f ${DEVLIST}.json ] ; then
if [ ! -f ${DEVLIST}.json -o ! -f ${DEVLIST}.txt ] ; then
echo "device list does not exist. downloading ..."
get_devlist
if [ ! -f ${DEVLIST}.json ] ; then