| 489 | ******************************/ |
| 490 | |
| 491 | static void forget_job(color_ostream &out, ProtectedJob *pj) |
| 492 | { |
| 493 | known_jobs.erase(pj->id); |
| 494 | delete pj; |
| 495 | } |
| 496 | |
| 497 | static bool recover_job(color_ostream &out, ProtectedJob *pj) |
| 498 | { |
no test coverage detected