Handle SIGTERM and signals from user space #371
rustworthyAnnotations
3 errors
|
[clippy] src/worker/stop.rs#L36:
src/worker/stop.rs#L36
error[E0560]: struct `worker::stop::StopDetails` has no field named `nrunning`
--> src/worker/stop.rs:36:31
|
36 | StopDetails { reason, nrunning }
| ^^^^^^^^ `worker::stop::StopDetails` does not have this field
|
= note: available fields are: `workers_still_running`
|
|
[clippy] src/worker/stop.rs#L36:
src/worker/stop.rs#L36
error[E0560]: struct `worker::stop::StopDetails` has no field named `nrunning`
--> src/worker/stop.rs:36:31
|
36 | StopDetails { reason, nrunning }
| ^^^^^^^^ `worker::stop::StopDetails` does not have this field
|
= note: available fields are: `workers_still_running`
|
|
test
Process completed with exit code 101.
|