#!/bin/bash echo "=== Force Restart Help Documentation Server ===" echo "" echo "1. Killing all nginx processes..." pkill -f nginx 2>/dev/null || true sleep 2 echo "2. Checking for remaining nginx processes..." if pgrep nginx > /dev/null; then echo " Force killing remaining nginx processes..." pkill -9 nginx 2>/dev/null || true sleep 1 fi echo "3. Checking port 6045..." lsof -i :6045 2>/dev/null || echo " Port 6045 is free" echo "" echo "4. Starting fresh nginx instance..." NGINX_BIN="/home/taoc/nginx/sbin/nginx" HELP_DOCS_DIR="/home/taoc/uft30help/" CONF_FILE="$HELP_DOCS_DIR/workspace/nginx.conf" if [ ! -f "$CONF_FILE" ]; then echo " Copying nginx configuration..." cp "$(dirname "$0")/nginx.conf" "$CONF_FILE" fi if [ ! -f "$HELP_DOCS_DIR/workspace/help.conf" ]; then echo " Copying server configuration..." cp "$(dirname "$0")/help.conf" "$HELP_DOCS_DIR/workspace/help.conf" fi if [ ! -f "$HELP_DOCS_DIR/uft3changecode/index.html" ]; then echo " Creating default index.html..." cat > "$HELP_DOCS_DIR/uft3changecode/index.html" << 'EOF'
Help Documentation Server