Re: [docs] socket.sethostname() error type mistake