.
// cancel a WU:
// - mark unsent results as OVER, outcome DIDNT_NEED
// - set CANCELLED bit in WU error mask
//
require_once("../inc/db.inc");
require_once("../inc/util_ops.inc");
db_init();
$wuid1 = get_int('wuid1');
$wuid2 = get_int('wuid2');
$unsent_only = get_str('unsent_only', true);
if ($wuid1<1 || $wuid2<$wuid1) {
admin_error_page(
"Workunit IDs fail to satisfy the conditions:
0 < ID1 <= ID2"
);
}
if ($unsent_only) {
cancel_wus_if_unsent($wuid1, $wuid2);
} else {
cancel_wus($wuid1, $wuid2);
}
admin_page_head("Cancel jobs");
echo " canceled jobs with $wuid1 <= workunit ID <= $wuid2";
admin_page_tail();
$cvs_version_tracker[]="\$Id$"; //Generated automatically - do not edit
?>