Changeset 1043
- Timestamp:
- 03/21/07 15:48:30 (2 years ago)
- Files:
-
- devel/mod/widget/lib.php (modified) (2 diffs)
Legend:
- Unmodified
- Added
- Removed
- Modified
- Copied
- Moved
devel/mod/widget/lib.php
r1042 r1043 42 42 } 43 43 44 45 // Delete users 46 listen_for_event("user","delete","widget_user_delete"); 44 47 } 45 48 … … 147 150 } 148 151 } 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; 149 166 } 150 167
