Allow to search and import missing PGP pubkeys from keyservers using Public...

Thomas Bruederli

2015-07-31 2965a981b7ec22866fbdf2d567d87e2d068d3617

 program/include/rcmail_utils.php

@@ -351,7 +351,7 @@
            $prefs[$name] = $value;

            if ($prefs != $old_prefs) {
                $user->save_prefs($prefs);
                $user->save_prefs($prefs, true);
                echo "saved.\n";
            }
            else {