Update Dockerfile

Dockerfile

@@ -17,7 +17,7 @@ RUN REDIS_PASSWORD="huggingface_spaces_$(date +%s | sha256sum | base64 | head -c
     echo 'redis-server /usr/local/etc/redis/redis.conf &' >> /usr/local/bin/start-redis.sh && \
     echo 'while true; do' >> /usr/local/bin/start-redis.sh && \
     echo '    sleep 5;' >> /usr/local/bin/start-redis.sh && \
-    echo '    if ! pgrep redis-server > /dev/null; then' >> /usr/local/bin/start-redis.sh && \
+    echo '    if ! pidof redis-server > /dev/null; then' >> /usr/local/bin/start-redis.sh && \
     echo '        echo "Redis ha dejado de funcionar. Reiniciando...";' >> /usr/local/bin/start-redis.sh && \
     echo '        redis-server /usr/local/etc/redis/redis.conf &' >> /usr/local/bin/start-redis.sh && \
     echo '    fi' >> /usr/local/bin/start-redis.sh && \