update Dockerfile

Dockerfile

@@ -1,6 +1,6 @@
 # HuggingFace Spaces Dockerfile for Overleaf with Japanese LaTeX
 #
-# FIXED: MongoDB 8.0 command options
+# FIXED: Redis not starting - added proper start and wait
 #
 # Features:
 # - Full TeX Live 2025 with Japanese support
@@ -55,17 +55,14 @@ chmod -R 777 /data
 chmod -R 777 /var/log/mongodb
 chmod -R 777 /var/log/redis
 
-# Remove stale lock files if any
+# Remove stale lock files
 rm -f /data/mongo/mongod.lock 2>/dev/null || true
 rm -f /data/mongo/WiredTiger.lock 2>/dev/null || true
 rm -f /data/mongo/WiredTiger 2>/dev/null || true
 
-echo "Directories created: $(ls -la /data/)"
-
 echo "=== STARTING MONGODB ==="
 set +e
 
-# MongoDB 8.0 doesn't support --logAppend, use --logg append instead
 mongod --dbpath /data/mongo \
        --bind_ip 127.0.0.1 \
        --replSet overleaf \
@@ -87,9 +84,8 @@ for i in {1..30}; do
     sleep 1
 done
 
-# Check if MongoDB is still running
 if ! kill -0 $MONGOPID 2>/dev/null; then
-    echo "MongoDB failed to start. Log output:"
+    echo "MongoDB failed to start"
     cat /var/log/mongodb/mongodb.log 2>/dev/null || echo "No log found"
     exit 1
 fi
@@ -100,18 +96,55 @@ mongosh --quiet --eval "
         rs.initiate({_id: 'overleaf', members: [{_id: 0, host: '127.0.0.1:27017'}]}); 
         print('Replica set initiated');
     } catch(e) { 
-        print('Replica set may already exist or error: ' + e); 
+        print('Replica set may already exist: ' + e); 
     }
 " 2>&1 || true
 
 echo "=== STARTING REDIS ==="
-redis-server --daemonize yes \
-             --dir /data/redis \
+
+# Kill any existing Redis
+pkill redis-server 2>/dev/null || true
+sleep 1
+
+# Start Redis in foreground briefly to check for errors
+redis-server --dir /data/redis \
              --port 6379 \
              --bind 127.0.0.1 \
-             --logfile /var/log/redis/redis.log 2>/dev/null || true
+             --daemonize yes \
+             --loglevel notice \
+             --logfile /var/log/redis/redis.log
+
+sleep 2
+
+# Check if Redis is running
+REDIS_RUNNING=false
+for i in {1..10}; do
+    if redis-cli ping 2>/dev/null | grep -q PONG; then
+        echo "Redis is ready after $i seconds"
+        REDIS_RUNNING=true
+        break
+    fi
+    echo "Waiting for Redis... ($i/10)"
+    sleep 1
+done
+
+if [ "$REDIS_RUNNING" = "false" ]; then
+    echo "Redis failed to start. Log output:"
+    cat /var/log/redis/redis.log 2>/dev/null || echo "No log found"
+    # Try one more time with simpler config
+    echo "Retrying Redis with simpler config..."
+    redis-server --dir /data/redis --daemonize yes --port 6379 --bind 127.0.0.1
+    sleep 2
+fi
+
+# Final check
+if redis-cli ping 2>/dev/null | grep -q PONG; then
+    echo "=== ALL SERVICES STARTED ==="
+else
+    echo "WARNING: Redis may not be running properly"
+fi
 
-echo "=== ALL SERVICES STARTED ==="
+echo "=== SERVICES STARTED: MongoDB=$(pgrep -x mongod | wc -l), Redis=$(pgrep -x redis-server | wc -l) ==="
 EOFSCRIPT
 
 RUN chmod +x /etc/my_init.d/00_start_services.sh