From 29cf9da761f8791564074dc6a9f3bf0cd020be49 Mon Sep 17 00:00:00 2001 From: donghee yang Date: Tue, 16 Apr 2013 16:19:16 +0900 Subject: [PATCH] [Title] Fixed a bug that canceled job is not released from remote server --- src/build_server/JobManager.rb | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/src/build_server/JobManager.rb b/src/build_server/JobManager.rb index 2386a4e..3ad27d8 100644 --- a/src/build_server/JobManager.rb +++ b/src/build_server/JobManager.rb @@ -335,6 +335,12 @@ class JobManager def dispose_job(job) + # update remote server state if needed + if job.type == "BUILD" and job.is_remote_job then + job.get_remote_server.remove_working_job(job) + job.get_remote_server.update_db() + end + # remove from queue @jobs.delete_if {|j| j.id == job.id} @internal_jobs.delete_if {|j| j.id == job.id} -- 2.34.1