diff options
| author | Arun Isaac | 2025-01-24 20:26:19 +0000 |
|---|---|---|
| committer | Arun Isaac | 2025-01-24 20:47:30 +0000 |
| commit | 394c89a39435bb4a11517e223130d899bbd5d59c (patch) | |
| tree | 09ede4593fa904a9978f13c97c2f6b3eebe11561 | |
| parent | 518d81b2c6c2ab15c7b67c25fdf401e461530725 (diff) | |
| download | ravanan-394c89a39435bb4a11517e223130d899bbd5d59c.tar.gz ravanan-394c89a39435bb4a11517e223130d899bbd5d59c.tar.lz ravanan-394c89a39435bb4a11517e223130d899bbd5d59c.zip | |
slurm-api: Error out when all options have been exhausted.
Prior to this, job-state could still return a value if there were no
errors described in the JSON. This is quite unlikely, but in the
interest of rigour…
* ravanan/slurm-api.scm (job-state): Error out when all options have
been exhausted.
| -rw-r--r-- | ravanan/slurm-api.scm | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/ravanan/slurm-api.scm b/ravanan/slurm-api.scm index 2719b5f..81a9fc9 100644 --- a/ravanan/slurm-api.scm +++ b/ravanan/slurm-api.scm @@ -191,4 +191,5 @@ monad." (string-append "slurmdbd does not report error number 2017 for job ~a;" " don't know what to do")) - (state-return (check-api-error response))))))))) + (check-api-error response) + (error "Unknown slurm API error")))))))) |