aboutsummaryrefslogtreecommitdiffstats
path: root/README.md
diff options
context:
space:
mode:
authorKostis Sagonas <[email protected]>2012-08-24 17:03:31 +0200
committerKostis Sagonas <[email protected]>2012-08-24 17:03:31 +0200
commitab32117d6edeaaf36d8842a74848a338c1bc8f14 (patch)
tree3e792903abee3189b5e384f74e2d3a0352aa7410 /README.md
parent3ce276a09e93493dce296737e3e86147381d4d96 (diff)
downloadotp-ab32117d6edeaaf36d8842a74848a338c1bc8f14.tar.gz
otp-ab32117d6edeaaf36d8842a74848a338c1bc8f14.tar.bz2
otp-ab32117d6edeaaf36d8842a74848a338c1bc8f14.zip
Stop a forgotten server process
Dialyzer forgot to stop a server process before finishing its analysis. This is a concurrency error detected by Concuerror.
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions