Patch title: Release 92 bulk changes
Abstract:
File: /language/stream/stream.pli
Key:
    Removed line
    Added line
   
# Copyright  Hubert Tonneau  hubert.tonneau@pliant.cx
#
# This program is free software; you can redistribute it and
# modify it under the terms of the GNU General Public Licens
# as published by the Free Software Foundation.
#
# This program is distributed in the hope that it will be us
# but WITHOUT ANY WARRANTY; without even the implied warrant
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See 
# GNU General Public License for more details.
#
# You should have received a copy of the GNU General Public 
# version 2 along with this program; if not, write to the Fr
# Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 


# Copyright  Hubert Tonneau  hubert.tonneau@pliant.cx
#
# This program is free software; you can redistribute it and
# modify it under the terms of the GNU General Public Licens
# as published by the Free Software Foundation.
#
# This program is distributed in the hope that it will be us
# but WITHOUT ANY WARRANTY; without even the implied warrant
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See 
# GNU General Public License for more details.
#
# You should have received a copy of the GNU General Public 
# version 2 along with this program; if not, write to the Fr
# Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 


function raw_copy src dest mini maxi -> copyed
  arg_rw Stream src dest ; arg Int mini maxi copyed
function raw_copy src dest mini maxi -> copied
  arg_rw Stream src dest ; arg Int mini maxi copied
  # should use the 2.2 sendfile function when the Linux kern
  # should use the 2.2 sendfile function when the Linux kern
  copyed := 0
  while copyed<mini
    src read_available (var Address adr) (var Int size) maxi
  copied := 0
  while copied<mini
    src read_available (var Address adr) (var Int size) maxi-copied
    if size=0
      return
    dest raw_write adr size
    if size=0
      return
    dest raw_write adr size
    copyed += size
    copied += size



export '. name' '. is_open' '. is_crashed' '. recover'



export '. name' '. is_open' '. is_crashed' '. recover'