diff options
Diffstat (limited to 'boot/portal_serv.sh')
| -rw-r--r-- | boot/portal_serv.sh | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/boot/portal_serv.sh b/boot/portal_serv.sh index cf0c412d..d27e4693 100644 --- a/boot/portal_serv.sh +++ b/boot/portal_serv.sh @@ -8,6 +8,14 @@ # Short-Description: Start daemon at boot time # Description: Enable service provided by daemon. ### END INIT INFO +HTTP_PROXY=$(cat /opt/config/http_proxy.txt) +HTTPS_PROXY=$(cat /opt/config/https_proxy.txt) + +if [ $HTTP_PROXY != "no_proxy" ] +then + export http_proxy=$HTTP_PROXY + export https_proxy=$HTTPS_PROXY +fi dir="/opt" cmd="./portal_vm_init.sh" |