Project

General

Profile

Actions

Bug #8089

open

Canceling of tasks doesn't work with VerifierCloud

Added by Evgeny Novikov over 7 years ago. Updated over 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 #1

Updated by Ilja Zakharov over 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 #2

Updated by Ilja Zakharov over 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

Also available in: Atom PDF