#
#
# patch "work.cc"
#  from [8e9f5b11f99b845d327d237f1f542ebe72ab0e63]
#    to [d1c7f3d992b6e315c77d881e3a04a1b69b551f01]
#
============================================================
--- work.cc	8e9f5b11f99b845d327d237f1f542ebe72ab0e63
+++ work.cc	d1c7f3d992b6e315c77d881e3a04a1b69b551f01
@@ -569,6 +569,9 @@ workspace::get_options(options & opts)
   if (!opts.dbname_given)
     {
       opts.dbname = cur_opts.dbname;
+      opts.dbname_alias = cur_opts.dbname_alias;
+      opts.dbname_type = cur_opts.dbname_type;
+      opts.dbname_given = cur_opts.dbname_type;
     }
 
   if (!opts.key_dir_given && !opts.conf_dir_given && cur_opts.key_dir_given)