An implementation of websockets using PHP and JavaScript