diff options
| author | dimitri staessens <dimitri.staessens@intec.ugent.be> | 2016-06-18 15:44:17 +0200 |
|---|---|---|
| committer | dimitri staessens <dimitri.staessens@intec.ugent.be> | 2016-06-18 20:01:52 +0200 |
| commit | 8014e2812db53027681c6ca1aa3adee83368cb0d (patch) | |
| tree | 55898ed870bd8c256e6b0b9e00d529c781dd1fa2 /src/lib/.gitignore | |
| parent | 7a12dc9d5841bb880f4bb79dbbd5e09dcb79ef98 (diff) | |
| download | ouroboros-8014e2812db53027681c6ca1aa3adee83368cb0d.tar.gz ouroboros-8014e2812db53027681c6ca1aa3adee83368cb0d.zip | |
irmd: cleanup of flows
Port_id's on pending flows that time out are now released. Flows that
are stale because one of the parent processes exited are removed.
Diffstat (limited to 'src/lib/.gitignore')
0 files changed, 0 insertions, 0 deletions