summaryrefslogtreecommitdiff
path: root/microkernel
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2016-04-05 13:53:37 +0200
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2016-04-05 13:53:37 +0200
commitf901b6bb3753be05a2c3121e03e3aece59ecfaa7 (patch)
treebdec2f82726b4f31c1b1571fd47131b6121eb1f6 /microkernel
parentb7a83ff33d2793bf0db12f9bf5f52a90acb1bf2b (diff)
socket-wrapper also kills the session
Diffstat (limited to 'microkernel')
0 files changed, 0 insertions, 0 deletions