Fix issues when using moduserprefs.sh without --user argument (#1490399)

Aleksander Machniak

2015-05-21 d5694ef84f0b003d30313ab171d88d2ebbb13e7f

 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 {