function importUserPrefs($athena)
{
    // If logged in, repopulate the user prefs with their real values.
    $userprefs = CourseRoadDB::getUserPrefs($athena);
    foreach ($userprefs as $pref_key => $pref_value) {
        $_SESSION['user'][$pref_key] = $pref_value;
    }
}