#!/bin/bash if [ -n "$REMOTE_REDIS_WS_URL" ]; then echo "Connecting to remote Redis via WebSocket Proxy..." python local_ws_proxy.py & else echo "Starting local Redis server..." redis-server --daemonize yes fi python hf_app.py