summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorAndreas Politz <politza@hochschule-trier.de>2018-09-25 08:29:02 +0200
committerAndreas Politz <politza@hochschule-trier.de>2018-09-25 08:29:02 +0200
commit3fd4e8f33f4c3f1448988f065be71edd03c3494b (patch)
tree0b400c8dc12c5af9623da7f46e30e890867e566c /Makefile
parent6ff2ae1b2e0edab15bef2411107abb94dd54364a (diff)
Avoid race-condition when quitting the server
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions