Ignore:
Timestamp:
Aug 11, 2003, 2:50:39 PM (17 years ago)
Author:
pooh
Message:
  • Do not close already opened channels.
File:
1 edited

Legend:

Unmodified
Added
Removed
  • to-imperative/trunk/runtime/rf_channel.ih

    r840 r1156  
    1313inline Channel::Channel (FILE* _fp /* = null */) :
    1414  fp (_fp)
    15 {}
     15{
     16  was_opened = (fp != null) ? true : false;
     17}
    1618
    1719inline Channel::Channel (Channel const& _channel) :
     
    2224inline Channel::~Channel ()
    2325{
    24   close();
     26  if (!was_opened) close();
    2527}
    2628
Note: See TracChangeset for help on using the changeset viewer.