Remove the keys in preferences when a user is deleted - Thanks rogerc

diff --git a/lib/user.php b/lib/user.php
index 0a5881ec0f82c63d7ae73deca5d87e6aa6868674..34f44f572e0b1b533ff125dd4830eaec531542e4 100644 (file)
--- a/lib/user.php
+++ b/lib/user.php
@@ -169,7 +169,8 @@ class OC_User {
                        foreach( OC_Group::getUserGroups( $uid ) as $i ){
                                OC_Group::removeFromGroup( $uid, $i );
                        }
-
+                       // Delete the user's keys in preferences
+                       OC_Preferences::deleteUser($uid);
                        // Emit and exit
                        OC_Hook::emit( "OC_User", "post_deleteUser", array( "uid" => $uid ));
                        return true;