Re: copy constructor for sockets

[tmoran@acm.org]

>I have it stuck in my head that Finalize can get called more than
>once. Which would make a mockery of (simple-minded) reference counting
  If each copy of the socket points to the single shared ref count
(Rep_Type here), then Finalize may be called as often as you want on the
socket:  the first time it's called it decrements the shared reference
count, frees the Rep_Type if the count is now zero, and nulls the socket's
pointer.  Subsequent calls on the same socket see that the pointer is null
and there's nothing to do.