diff options
author | Kevin Hilman <khilman@baylibre.com> | 2019-09-04 09:24:52 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-09-04 09:24:52 -0700 |
commit | b62cce369977403b2b2fa5e6d7c0af9d71058364 (patch) | |
tree | 63f92d5c2c23a1842e65154129d74a26838bc0ce /lava-master/scripts/start.sh | |
parent | c0be09b6ddfd855eeadb3628a481f9c0bb4e26b7 (diff) | |
parent | 57bfd7462de249be794db3d015e7aa8177891863 (diff) |
Merge pull request #99 from montjoie/2019.07
2019.07
Diffstat (limited to 'lava-master/scripts/start.sh')
-rwxr-xr-x | lava-master/scripts/start.sh | 38 |
1 files changed, 0 insertions, 38 deletions
diff --git a/lava-master/scripts/start.sh b/lava-master/scripts/start.sh deleted file mode 100755 index ce94c39..0000000 --- a/lava-master/scripts/start.sh +++ /dev/null @@ -1,38 +0,0 @@ -#!/bin/bash - -postgres-ready () { - echo "Waiting for lavaserver database to be active" - while (( $(ps -ef | grep -v grep | grep postgres | grep lavaserver | wc -l) == 0 )) - do - echo -n "." - sleep 1 - done - echo - echo "[ ok ] LAVA server ready" -} - -start () { - echo "Starting $1" - if (( $(ps -ef | grep -v grep | grep -v add_device | grep -v dispatcher-config | grep "$1" | wc -l) > 0 )) - then - echo "$1 appears to be running" - else - service "$1" start - fi -} - -#remove lava-pid files incase the image is stored without first stopping the services -rm -f /var/run/lava-*.pid 2> /dev/null - -/etc/init.d/postgresql start - -/setup.sh || exit $? - -start apache2 || exit $? -start lava-logs || exit $? -start lava-master || exit $? -start lava-coordinator || exit $? -start lava-server-gunicorn || exit $? - -postgres-ready -service apache2 reload #added after the website not running a few times on boot |