Apple Profile Manager no longer pushes profiles (Server.app 3.3.2)

Products affected:

Mac OS X 10.9.5

Server.app 3.3.2

In order to fix the issue I needed to recreate the view "view_needed_dep_profiles_removals" in the profile manager database.

In case you have the same issue, you can fix it quite easily in this way:

1. Open the terminal and turn yourself into a superuser with the command
   sudo -s
2. Enter the profile manager DB with the command:
   sudo -u _devicemgr psql -h /Library/Server/ProfileManager/Config/var/PostgreSQL devicemgr_v2m0
3. Drop the view "view_needed_dep_profiles_removals" by running:
   DROP VIEW view_needed_dep_profiles_removals;
4. Recreate it with the following SQL statement:
   CREATE OR REPLACE VIEW view_needed_dep_profiles_removals AS
   SELECT devices.id as "device_id"
   FROM devices
   WHERE devices.is_dep_device AND
   devices.assigned_dep_profile_uuid IS NOT NULL AND
   devices.assigned_dep_profile_uuid::text !~~ 'FAILED%'::text AND
   NOT (devices.id IN ( SELECT view_truth_dep_profiles_devices.device_id FROM view_truth_dep_profiles_devices));
5. Restart the Profile Manager service.