NOTE: this function can't be const because `synchronized (mutex)` is not const ...
| 99 | // NOTE: this function can't be const because `synchronized (mutex)` |
| 100 | // is not const ... |
| 101 | bool empty() |
| 102 | { |
| 103 | synchronized (mutex) { |
| 104 | return processes.empty(); |
| 105 | } |
| 106 | } |
| 107 | |
| 108 | void decomission() |
| 109 | { |
no outgoing calls