summaryrefslogtreecommitdiff
path: root/doc/.gitignore
diff options
context:
space:
mode:
authorSander Vrijders <sander.vrijders@ugent.be>2018-04-25 12:33:30 +0200
committerDimitri Staessens <dimitri.staessens@ugent.be>2018-04-25 14:53:05 +0200
commit490ff55829df88fd57a1fa50f5e75b36faa4035a (patch)
tree35341f38791e7b4efed1715ad545ec547ad9030e /doc/.gitignore
parentc0de1f4f511106b4ed107778900835e1872a2b9b (diff)
downloadouroboros-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