On http://www.rokkyuu.com, I've made it so that registered users can change the site's color theme by picking a setting in a dropdown on their user profile (this switches out the stylesheet for that user). Unfortunately, the WP Cache portion of WP Super Cache caches the files for logged in users, so a user when changes her theme and updates her profile, she see the cache rather than the site with the selected theme.
What function in WP Super Cache clears the cache? Is there a way I can call that when the user presses Update Profile? I don't mind editing the core. Or is there a way to turn off WP Cache for logged in users?
(on the site WP Super Cache is disabled for now)