[Turn off line numbering]1: (| close_connection() |); 2: active = 0; 3: if (interface) 4: (| interface.connection_going_away(remote_addr, remote_port) |); 5: interface = 0; 6: if (read_block) { 7: read_block = read_block.add('lines, 'disconnected); 8: .finish_reading_block(); 9: } 10: if (tid != -1) 11: $scheduler.del_task(tid); 12: tid = 0;
// Created 22-Aug-1995 as a part of ColdCore, see: @help Credit