Changeset 1043

Show
Ignore:
Timestamp:
03/21/07 15:48:30 (2 years ago)
Author:
ben
Message:

Widgets are now cleaned up when a user is deleted.

Files:

Legend:

Unmodified
Added
Removed
Modified
Copied
Moved
  • devel/mod/widget/lib.php

    r1042 r1043  
    4242        } 
    4343         
     44         
     45        // Delete users 
     46            listen_for_event("user","delete","widget_user_delete"); 
    4447    } 
    4548 
     
    147150            } 
    148151        } 
     152    } 
     153     
     154// Removes all widgets for a user 
     155 
     156    function widget_user_delete($object_type, $event, $object) { 
     157        global $CFG; 
     158        if (!empty($object->ident) && $object_type == "user" && $event == "delete") { 
     159            if ($widgets = get_records("widgets","owner",$object->ident)) { 
     160                foreach($widgets as $widget) { 
     161                    widget_destroy($widget->ident); 
     162                } 
     163            } 
     164        } 
     165        return $object; 
    149166    } 
    150167