Method code for $connection.do_timeout()

[Turn off line numbering]

---

  1: if (!timeout)
  2:     return;
  3: .write("Timeout (" + tostr(timeout) + ")");
  4: .close();

---

// Created 22-Aug-1995 as a part of ColdCore, see: @help Credit