From f5b1bb0258dff8c9f4123549a04b8f84388e5613 Mon Sep 17 00:00:00 2001 From: Hasan Wan Date: Wed, 5 Jun 2013 11:02:28 +0800 Subject: [PATCH] convert port number to int Change-Id: I6a3419ae6528603fe734b2bbcd06fa67e8a10850 Signed-off-by: Hasan Wan --- job_pre_release_obs.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/job_pre_release_obs.py b/job_pre_release_obs.py index c0f0ad4..267b8ff 100755 --- a/job_pre_release_obs.py +++ b/job_pre_release_obs.py @@ -157,7 +157,7 @@ def main(name, action): if action == 'create_images': # Init backend database redis_host = os.getenv("REDIS_HOST") - redis_port = os.getenv("REDIS_PORT") + redis_port = int(os.getenv("REDIS_PORT")) backenddb = BackendDB(redis_host, redis_port) repo = content.get("repo") -- 2.7.4