} // END - if
} else {
// Server sockets won't work with socket_getpeername()
- $this->debugOutput('POOL: Socket resource is server socket. This is no bug.');
+ $this->debugOutput('POOL: Socket resource is server socket. This is not a bug.');
}
// Output error message