[galaxy-commits] galaxy-dist commit af48a13e46b9: Fix a bug in the sge runner's stop_job and job finishing logic.