Correction d'un bug de concurrence potentiel sur les préférences.

This commit is contained in:
Georges Dupéron 2011-05-22 01:05:59 +02:00
parent ce420cb741
commit d161bead40

View File

@ -347,13 +347,16 @@ init(function() {
}); });
// ==== Écran Préférences // ==== Écran Préférences
runstate.prefs = { theme: "green" };
function loadPrefs(prefs) { function loadPrefs(prefs) {
var previousTheme = runstate.prefs ? runstate.prefs.theme : 'green'; var previousTheme = runstate.prefs ? runstate.prefs.theme : 'green';
runstate.prefs = (prefs && prefs.theme) ? prefs : { theme: "green" }; if (prefs && prefs.theme) {
runstate.serverPrefs = $.extend({}, runstate.prefs); runstate.prefs = prefs;
if (runstate.loaded && previousTheme != runstate.prefs.theme) jss(); runstate.serverPrefs = $.extend({}, runstate.prefs);
if (runstate.loaded && previousTheme != runstate.prefs.theme) jss();
}
} }
loadPrefs(); // initialize runstate.prefs.
function setPrefs(prefs, callback) { function setPrefs(prefs, callback) {
$.ajaj("server.php?callback=?", { $.ajaj("server.php?callback=?", {