From 9f7d1ac2cc76f4bbbb5f0a4ada086221928a6ae1 Mon Sep 17 00:00:00 2001
From: Saurabh <saurabh6790@gmail.com>
Date: Tue, 3 Sep 2024 13:05:21 +0530
Subject: [PATCH] fix: port default integer

---
 agent/bench.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/agent/bench.py b/agent/bench.py
index cdca0427..e7d5edc3 100644
--- a/agent/bench.py
+++ b/agent/bench.py
@@ -37,7 +37,7 @@ def __init__(self, name, server, mounts=None):
             self.directory, "sites", "common_site_config.json"
         )
         self.host = self.config.get("db_host", "localhost")
-        self.db_port = self.config.get("db_port", "3306")
+        self.db_port = self.config.get("db_port", 3306)
         self.docker_image = self.bench_config.get("docker_image")
         self.mounts = mounts
         if not (