private void ev_socket_error(easy_socket.icmp.icmp sender, easy_socket.icmp.EventArgs_Exception e)
 {
     this.textBox_telnet_add("Socket error:.\r\n" + e.exception.Message + "\r\n");
     // we stop
     this.allow_user_interface(true);
     this.icmp_server.stop();
 }
 private void ev_time_out(easy_socket.icmp.icmp sender, EventArgs e)
 {
     // forget precedent echo messages
     this.al.Clear();
     this.textBox_telnet_add("Timeout.\r\n");
     this.send_if_necessary();
 }
 private void ev_time_out(easy_socket.icmp.icmp sender, EventArgs e)
 {
     // forget precedent echo messages
     this.al.Clear();
     this.textBox_telnet_add("Timeout.\r\n");
     // we stop
     this.allow_user_interface(true);
     this.icmp_server.stop();
 }