<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">
</head>
<body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">
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.<br class="">
<style class="">
.logotable {
color: navy;
border: solid 0 white;
font-family: arial;
font-size: 100%;
padding: 0;
border-collapse: collapse;
}
</style>
</body>
</html>