josh/ppl-os
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

fix: Device port not address

Browse Source
This commit is contained in:
Maciej Krüger 2018-10-21 17:02:19 +02:00
parent d7f96ed8cf
commit 9262d5f709
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
conf-tool.sh
View File

@ -51,7 +51,7 @@ vals="CHANNEL=$channel
ENV=$dev_env ENV=$dev_env
DEVICE_IP=$dev_addr DEVICE_IP=$dev_addr
DEVICE_USERNAME=$dev_user DEVICE_USERNAME=$dev_user
DEVICE_PORT=$dev_addr DEVICE_PORT=$dev_port
USER_KEY=$signing_key USER_KEY=$signing_key
USER_EMAIL=$user_email" USER_EMAIL=$user_email"