Update websockets.php

I just noticed things messed up when I copied the file over.  I retested it and here's the proper functional modification.