|
@@ 129-143 (lines=15) @@
|
| 126 |
|
|
| 127 |
|
} |
| 128 |
|
|
| 129 |
|
public function setCompleted($uid, Result $result) { |
| 130 |
|
|
| 131 |
|
$request = $this->running[$uid]; |
| 132 |
|
|
| 133 |
|
$this->logger->debug("Task ".$request->getName()." (uid $uid) completed with ".($result->success ? 'success' : 'error')); |
| 134 |
|
|
| 135 |
|
$this->completed[$uid] = $result; |
| 136 |
|
|
| 137 |
|
unset($this->running[$uid]); |
| 138 |
|
|
| 139 |
|
$this->dump(); |
| 140 |
|
|
| 141 |
|
return $this; |
| 142 |
|
|
| 143 |
|
} |
| 144 |
|
|
| 145 |
|
public function setAborted($uid, Result $result) { |
| 146 |
|
|
|
@@ 145-159 (lines=15) @@
|
| 142 |
|
|
| 143 |
|
} |
| 144 |
|
|
| 145 |
|
public function setAborted($uid, Result $result) { |
| 146 |
|
|
| 147 |
|
$request = $this->queued[$uid]; |
| 148 |
|
|
| 149 |
|
$this->logger->debug("Task ".$request->getName()." (uid $uid) aborted: internal error"); |
| 150 |
|
|
| 151 |
|
$this->completed[$uid] = $result; |
| 152 |
|
|
| 153 |
|
unset($this->queued[$uid]); |
| 154 |
|
|
| 155 |
|
$this->dump(); |
| 156 |
|
|
| 157 |
|
return $this; |
| 158 |
|
|
| 159 |
|
} |
| 160 |
|
|
| 161 |
|
public function getSucceeded() { |
| 162 |
|
|