diff options
| author | Sander Vrijders <sander.vrijders@ugent.be> | 2018-04-25 12:33:30 +0200 |
|---|---|---|
| committer | Dimitri Staessens <dimitri.staessens@ugent.be> | 2018-04-25 14:53:05 +0200 |
| commit | 490ff55829df88fd57a1fa50f5e75b36faa4035a (patch) | |
| tree | 35341f38791e7b4efed1715ad545ec547ad9030e /doc/.gitignore | |
| parent | c0de1f4f511106b4ed107778900835e1872a2b9b (diff) | |
| download | ouroboros-490ff55829df88fd57a1fa50f5e75b36faa4035a.tar.gz ouroboros-490ff55829df88fd57a1fa50f5e75b36faa4035a.zip | |
lib: Unlink old flow set shared memory
This unlinks previously allocated flow set shared memory. It could be
lingering in case an application with the same pid was SIGKILLED, and
didn't clean up its flow set shared memory.
Signed-off-by: Sander Vrijders <sander.vrijders@ugent.be>
Signed-off-by: Dimitri Staessens <dimitri.staessens@ugent.be>
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions