Given that the usual way to kill a job that's running is to use scancel, I 
would tend to agree that killing by shortening the walltime to below the 
already used time is likely to be an error, and deserves a warning.

Reply via email to