Bug #3163256 Ajax copy database does not refresh the database list in case the "switch to copied database" option is not ticked

js/db_operations.js

@@ -100,6 +100,11 @@ $(document).ready(function() {
                     window.parent.db = data.newname;
                     window.parent.refreshMain();
                     window.parent.refreshNavigation();
+               } else {
+                    // Here we force a refresh because the navigation
+                    // frame url is not changing so this function would
+                    // not refresh it
+                    window.parent.refreshNavigation(true);
                }
             }
             else {