Aleksander Machniak
2015-05-21 bfe6570cb007511d727f81fcb0a985bf2d0665d4
bin/moduserprefs.sh
@@ -71,7 +71,7 @@
   $prefs[$pref_name] = $pref_value;
   if ($prefs != $old_prefs) {
      $user->save_prefs($prefs);
      $user->save_prefs($prefs, true);
      echo "saved.\n";
   }
   else {