NOBUG: On upgrade, cli must not override current config. Just set undefined (new) ones

This commit is contained in:
Eloy Lafuente
2010-01-21 10:04:03 +00:00
parent 9cf45d02c7
commit 054d3924f2
+2 -2
View File
@@ -119,8 +119,8 @@ $admin = reset($admins);
session_set_user($admin);
// apply all default settings, just in case do it twice to fill all defaults
admin_apply_default_settings(NULL, true);
admin_apply_default_settings(NULL, true);
admin_apply_default_settings(NULL, false);
admin_apply_default_settings(NULL, false);
echo get_string('cliupgradefinished', 'admin')."\n";
exit(0); // 0 means success