update Dockerfile

Dockerfile

@@ -75,14 +75,15 @@ set -e
 export GLIBC_TUNABLES=glibc.pthread.rseq=0
 
 echo "=== CREATING DIRECTORIES ==="
+pkill -9 mongod 2>/dev/null || true
+pkill -9 redis-server 2>/dev/null || true
 rm -rf /data/mongo /data/redis /data/overleaf /data/git-bridge 2>/dev/null || true
 mkdir -p /data/mongo /data/redis /data/overleaf /data/git-bridge
 mkdir -p /var/log/mongodb /var/log/redis
 chmod -R 777 /data /var/log
+sleep 2
 
 echo "=== STARTING MONGODB ==="
-pkill mongod 2>/dev/null || true
-sleep 2
 
 /usr/local/bin/mongod --dbpath /data/mongo \
     --bind_ip 127.0.0.1 --replSet overleaf --port 27017 \
@@ -104,7 +105,7 @@ else
 fi
 
 echo "=== STARTING REDIS ==="
-pkill redis-server 2>/dev/null || true
+pkill -9 redis-server 2>/dev/null || true
 sleep 1
 
 /usr/local/bin/redis-server --port 6379 --bind 127.0.0.1 \