Skip to content
Snippets Groups Projects
Commit f8053177 authored by Michael Tüxen's avatar Michael Tüxen
Browse files

Merge pull request #43 from TheAomx/master

Fix https://github.com/nplab/packetdrill/issues/10 by cleaning up when the script is terminated.
parents 6725d58d 71a1c0a8
No related branches found
No related tags found
No related merge requests found
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment