Ticket #761: delete-profile-on-user-delete.diff

boinc_db.inc

@@ -102 +102 @@
     }
     function delete() {
         $db = BoincDb::get();
+        $db->delete_aux('profile', "userid=$this->id");
         return $db->delete($this, 'user');
     }
 }