diff --git a/src/common/slurm_errno.c b/src/common/slurm_errno.c index 2c7d316392d260ac0c1165fd0fd966984c248065..978eeeb80694282af344dac8890c0f9eb5a1b0bf 100644 --- a/src/common/slurm_errno.c +++ b/src/common/slurm_errno.c @@ -180,6 +180,8 @@ static slurm_errtab_t slurm_errtab[] = { "Kill task failed" }, { ESLURMD_INVALID_JOB_CREDENTIAL, "Invalid job credential" }, + { ESLURMD_CREDENTIAL_REVOKED, + "Job credential revoked" }, { ESLURMD_CREATE_BATCH_DIR_ERROR, "Slurmd could not create a batch directory" }, { ESLURMD_MODIFY_BATCH_DIR_ERROR,