[Title] Fixed a bug that canceled job is not released from remote server

diff --git a/src/build_server/JobManager.rb b/src/build_server/JobManager.rb
index 2386a4e5a78f7c7946f967f2e2551161eeb823e8..3ad27d84c59943219ae5cc6978eaa7fbb56a04bb 100644 (file)
--- 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}