diff options
| author | Kostis Sagonas <[email protected]> | 2012-08-24 17:03:31 +0200 |
|---|---|---|
| committer | Kostis Sagonas <[email protected]> | 2012-08-24 17:03:31 +0200 |
| commit | ab32117d6edeaaf36d8842a74848a338c1bc8f14 (patch) | |
| tree | 3e792903abee3189b5e384f74e2d3a0352aa7410 /Makefile.in | |
| parent | 3ce276a09e93493dce296737e3e86147381d4d96 (diff) | |
| download | otp-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 'Makefile.in')
0 files changed, 0 insertions, 0 deletions