/**
  * Deletes the provider
  * First it makes sure that all devices are deleted that do not belong to
  * programs
  */
 public function post_delete(array $args)
 {
     # make sure all unused (not part of any program) devices are deleted first
     # before attempting to delete a provider
     com_meego_devprogram_provutils::delete_unused_devices();
     parent::post_delete($args);
 }