[galaxy-dev] galaxy does not get kill signal from drmaa (sge6)