Thomas Bruederli
2014-08-18 3ebac0167bf20104fb7a2a55934765117760264c
program/steps/settings/save_folder.inc
@@ -174,6 +174,7 @@
        }
        $OUTPUT->show_message('folderupdated', 'confirmation');
        $OUTPUT->set_env('folder', $folder['name']);
        if ($rename) {
            // #1488692: update session