See also entry in DESCRIPTION file
################################################################################
# This script performs pro_flush until it succeeds.
# It will stop after a number of retries.
#
# History:
# 19990219 Changed SCRIPTS_DIR extraction.
# 19960723 Changed SCRIPTS_DIR setting.
#
################################################################################
|