TCP socket server written in PHP