FROM python:3.11-slim # Set environment variables ENV PYTHONUNBUFFERED=1 \ DEBIAN_FRONTEND=noninteractive \ GRADIO_SERVER_NAME=0.0.0.0 \ GRADIO_SERVER_PORT=7860 # Set working directory WORKDIR /app # Install system dependencies including HTTrack RUN apt-get update && apt-get install -y --no-install-recommends \ httrack \ wget \ curl \ ca-certificates \ && rm -rf /var/lib/apt/lists/* # Verify HTTrack installation RUN httrack --version # Copy requirements file COPY requirements.txt . # Install Python dependencies RUN pip install --no-cache-dir -r requirements.txt # Copy application code COPY app.py . # Create directories for temporary files RUN mkdir -p /tmp/httrack_temp && \ chmod 777 /tmp/httrack_temp # Expose Gradio default port EXPOSE 7860 # Health check HEALTHCHECK --interval=30s --timeout=10s --start-period=5s --retries=3 \ CMD curl -f http://localhost:7860/ || exit 1 # Run the application CMD ["python", "app.py"]