Implement the server PUSH command
Clean up a deficiency