| 4107 | namespace inject { |
| 4108 | |
| 4109 | bool exited(const UPID& from, const UPID& to) |
| 4110 | { |
| 4111 | process::initialize(); |
| 4112 | |
| 4113 | ExitedEvent* event = new ExitedEvent(from); |
| 4114 | return process_manager->deliver(to, event, __process__); |
| 4115 | } |
| 4116 | |
| 4117 | } // namespace inject { |
| 4118 |