
{ parameters sent from client to server

  TYPE
    pft$df_save_released_label_in = record
      path_length: pft$file_path_index,
      cycle_selector: pft$cycle_selector,
      password_selector: pft$password_selector,
      file_label_size: pft$file_label_size,
      validation_ring: ost$valid_ring,
      update_cycle_statistics: boolean,
      audit: boolean,
    recend;

    { The path and file label follow in this buffer, if they're small enough;
    { otherwise they're in the data buffer.

*copyc osd$virtual_address
*copyc pft$cycle_selector
*copyc pft$file_label_size
*copyc pft$file_path_index
*copyc pft$password_selector
