Method code for $connection.do_timeout()

[Turn on line numbering]

---

if (!timeout)
    return;
.write("Timeout (" + tostr(timeout) + ")");
.close();

// $#Edited: 15 Jul 97 02:34 $user_bruce

---

["// Created 21-Aug-1995 as a part of ColdCore, see: @help Credit"]