Update server/libs/websock.php