#------------------------------------------------------------------------------- 
# Function to delete a file.                                                     
# Arguments: $1 filename, $2 silent mode, $3 debug switch (ksh set: +x for off, -x for on).
#------------------------------------------------------------------------------- 
DELETE_FILE()                                                                    
{                                                                                
 set "$DEBUG_SWITCH"                                                             
 FILE="$1"                                                                       
 if [[ -f "$FILE" ]]; then                                                       
   case "$2" in                                                                  
   silent|SILENT)                                                                
     /usr/bin/rm "$FILE"                                                         
   ;;                                                                            
   *)                                                                            
     print "Deleting file: \"${FILE}\" "                                         
     /usr/bin/rm "$FILE"                                                         
   ;;                                                                            
   esac                                                                          
 fi                                                                              
}                                                                                
