mirror of
https://github.com/ivabus/pantry
synced 2024-11-30 04:05:06 +03:00
29 lines
477 B
Bash
Executable file
29 lines
477 B
Bash
Executable file
#!/bin/bash
|
|
|
|
set -em
|
|
|
|
PORT=$(tea get-port)
|
|
|
|
openplayground run --port $PORT &
|
|
|
|
PID=$!
|
|
|
|
# poll until a HEAD request succeeds
|
|
while ! curl -Is http://127.0.0.1:$PORT | grep -q "HTTP/1.1 200 OK"; do
|
|
if ! kill -0 $PID; then
|
|
echo "webui process died!"
|
|
exit 1
|
|
fi
|
|
sleep 1
|
|
done
|
|
|
|
# open the URL once the HEAD request succeeds
|
|
if test -n "$TEA_GUI"; then
|
|
echo
|
|
echo "{\"xyz.tea\":{\"gui\":\"http://127.0.0.1:$PORT\"}}"
|
|
echo
|
|
else
|
|
open "http://127.0.0.1:$PORT"
|
|
fi
|
|
|
|
fg
|