close

fun close()

Close the underlying socket; the receive loop then winds down.