in readPacket, call socketSelect() before actually trying to read on
the connection. This seems to allow R to update graphics windows and
other such niceties.
It would be nice to be able to preserve the (inferior) R REPL as well,
but I haven't yet discovered whether that's possible.
}
readPacket <- function(io) {
}
readPacket <- function(io) {
header <- readChunk(io, 6)
len <- strtoi(header, base=16)
payload <- readChunk(io, len)
header <- readChunk(io, 6)
len <- strtoi(header, base=16)
payload <- readChunk(io, len)