Re: Bug in 1.3? Server pipes not destroyed

[Max Bian]

By the way, why are we still using pipes?  It seems that there was a
discussion about switching it to sockets so it is more portable.

Is that a awfully difficult thing to do, or it has some disadvantages?

Thanks.

Max