{
{   The purpose of this request os to remove trace of the server file on the
{ client mainframe.  This involves initiating requests to flush pages, and
{ if this is the last usage, to delete the segment associated with the file
{ and to delete the entry from the file descriptor table (system file table).
{ This procedure contains components of dmp$detach_file (DMM$DETACH_FILE) and
{ dmp$delete_file_descriptor, and dmp$destroy_file (DMM$FILE_TABLE_MANAGER).
{
{   DMP$DETACH_SERVER_FILE (SYSTEM_FILE_ID, FLUSH_PAGES, UNCONDITIONAL_DETACH,
{      ATTACHED_FOR_WRITE, EOI_BYTE_ADDRESS, REMOTE_SFID,
{      STATUS)
{
{   SYSTEM_FILE_ID: (input) This parameter specifies the file to delete.
{      The file must be of file type dmc$server_file.
{
{   FLUSH_PAGES: (input) This parameter specifies whether pages for the file
{      should be written. If the file is attached for access_mode = none then
{      this parameter should be specifified as false.
{
{   UNCONDITIONAL_DETACH: (input) This parameter specifies whether the file
{      should be detached regardless of the state of the file as shown in the
{      server_descriptor.  This parameter is false during every call EXCEPT
{      during File Server Job Recovery.
{
{   ATTACHED_FOR_WRITE: (output) This parameter returns whether the file was
{      was attached for write mode by any job.
{
{   EOI_BYTE_ADDRESS: (output) This parameter returns  the eoi for the file.
{
{   REMOTE_SFID: (output) This parameter returns sfid of the file on the server
{      mainframe.
{
{   STATUS: (output) This parameter returns the request status.
{
