|
|
@ -75,7 +75,7 @@ fi
|
|
|
|
if [ "${CONFIGURE_CODE_SERVER}" == "true" ]; then
|
|
|
|
if [ "${CONFIGURE_CODE_SERVER}" == "true" ]; then
|
|
|
|
while ! [ -x /tmp/code-server/bin/code-server ]; do
|
|
|
|
while ! [ -x /tmp/code-server/bin/code-server ]; do
|
|
|
|
counter=0
|
|
|
|
counter=0
|
|
|
|
if [ $counter -eq 30 ]; then
|
|
|
|
if [ $counter -eq 60 ]; then
|
|
|
|
echo "Timed out waiting for /tmp/code-server/bin/code-server to be installed."
|
|
|
|
echo "Timed out waiting for /tmp/code-server/bin/code-server to be installed."
|
|
|
|
exit 1
|
|
|
|
exit 1
|
|
|
|
fi
|
|
|
|
fi
|
|
|
|