robin / entrypoint.sh
pjpjq's picture
Deploy Robin to Hugging Face Space
de0ad43
raw
history blame contribute delete
681 Bytes
#!/bin/bash
set -euo pipefail
if [ "$#" -eq 0 ]; then
UI_PORT="${PORT:-7860}"
set -- ui --ui-port "${UI_PORT}" --ui-host 0.0.0.0
fi
echo "Starting Tor..."
tor &
echo "Waiting for Tor to be ready (127.0.0.1:9050)..."
# Loop until port 9050 is open, timeout after 60 seconds
if ! timeout 60 bash -c '
until python3 -c "import socket; s=socket.socket(); s.settimeout(2); s.connect((\"127.0.0.1\", 9050)); s.close()" 2>/dev/null; do
echo "Waiting for Tor socket..."
sleep 2
done
'; then
echo "ERROR: Tor failed to start or is not listening on port 9050."
exit 1
fi
echo "Tor is ready."
echo "Starting Robin: AI-Powered Dark Web OSINT Tool..."
exec python main.py "$@"