Fixes for websocket termination.

Removed spurious "Done" flag for cleanup.