Fixed Push-Pull server example.