diff --git a/setup/gen_config.py b/setup/gen_config.py
index 34f8fa1cf..adc2b59e0 100644
--- a/setup/gen_config.py
+++ b/setup/gen_config.py
@@ -35,7 +35,7 @@ def main():
     parser.add_argument('--addons_path', type=str, help='')
     parser.add_argument('--db_filter', type=str, help='')
     parser.add_argument('--db_port', type=int, help='')
-    parser.add_argument('--db_server', type=int, help='')
+    parser.add_argument('--db_server', type=str, help='')
     args = parser.parse_args()
     db_port = args.db_port
     db_user = args.db_user