Spaces:
Runtime error
Runtime error
File size: 982 Bytes
b8d5d17 |
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 |
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"] |