From 7c63eccb15aff14e81f2ca74dcecb5c15422fc46 Mon Sep 17 00:00:00 2001 From: Felix Tomski <tomski@itc.rwth-aachen.de> Date: Mon, 13 Feb 2023 13:21:19 +0100 Subject: [PATCH] Fix check whether internal slurm job expired --- core/modes/__init__.py | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/core/modes/__init__.py b/core/modes/__init__.py index c5d5589..75aa8f2 100644 --- a/core/modes/__init__.py +++ b/core/modes/__init__.py @@ -171,7 +171,12 @@ class Slurm(ModeBase): with open(f"{self.job.driver_path}/SlurmIDMapping.json", "r") as file: mapping = json.loads(file.read()) self.slurm_simple_job_id = mapping[get_cenv("CI_JOB_ID")] - return + if self.job.down_scoping: + if not subprocess.run([f'{self.job.driver_path}/core/scripts/runHelper.sh', + f'sudo -u {self.job.account} srun --jobid={self.slurm_simple_job_id} /usr/bin/zsh -l -c echo']).returncode: + return + else: + man.remove_id_mapping(f"{self.job.driver_path}/SlurmIDMapping.json", get_cenv("CI_JOB_ID")) except (IOError, KeyError): self.slurm_simple_job_id = None logging.warning(f'Could not read internal Slurm jobid from mapping file') -- GitLab