Aleksander Machniak
2015-12-22 21b523c29b2d022f27c5c730d3afd394aff5cd0f
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 {