Project

General

Profile

Actions
Copy link

Bug #8089

open

Canceling of tasks doesn't work with VerifierCloud

Added by Evgeny Novikov over 7 years ago. Updated about 7 years ago.

Status:
New
Priority:
High
Assignee:
-
Category:
Scheduling
Target version:
-
Start date:
04/18/2017
Due date:
% Done:

0%

Estimated time:
Detected in build:
svn
Platform:
Published in build:

Description

This feature can be extremely helpful and missing it isn't welcome.

Actions
Copy link
 #1

Updated by Ilja Zakharov about 7 years ago

  • Subject changed from Canceling of jobs doesn't work with VerifierCloud to Canceling of tasks doesn't work with VerifierCloud

Actually, cancellation of jobs works like a charm, but WebInterface library, that we use for task submission to VerifierCloud, does not provide any API to cancel or stop the execution of already running tasks.

Actions
Copy link
 #2

Updated by Ilja Zakharov about 7 years ago

Note, that the bug causes only extra resource consumption in the VerifierCloud but Klever and its schedulers work as they should without exceptions, crashes or anything harmful.

Actions
Copy link

Also available in: Atom PDF