# disable_stdio_buffering.pl
# Author: Noah Friedman <friedman@prep.ai.mit.edu>
# Created: 1997-02-21
# Public domain.

# $Id: disable_stdio_buffering.pl,v 1.2 1997/09/03 23:06:37 friedman Exp $

# Commentary:
# Code:

sub disable_stdio_buffering
{
  foreach $handle (@_)
    {
      local ($orig_handle) = select ($handle);
      $| = 1;
      select ($orig_handle);
    }
}

# disable_stdio_buffering.pl ends here