Search Options

Results per page
Sort
Preferred Languages
Advance

Results 1 - 1 of 1 for fi (0.11 sec)

  1. src/packaging/common/scripts/postrm

        fi
    fi
    
    if [ "$REMOVE_DIRS" = "true" ]; then
        if [ -d "$PID_DIR" ]; then
            echo -n "Deleting PID directory..."
            rm -rf "$PID_DIR" && echo " OK" || echo " ERROR: unable to delete directory [$PID_DIR]"
        fi
    fi
    
    if [ "$REMOVE_USER_AND_GROUP" = "true" ]; then
        if id "$FESS_USER" > /dev/null 2>&1 ; then
            userdel "$FESS_USER"
        fi
    
    Plain Text
    - Registered: Mon May 06 08:04:11 GMT 2024
    - Last Modified: Thu Dec 10 01:24:02 GMT 2015
    - 2.2K bytes
    - Viewed (0)
Back to top