diff options
author | Stavros Aronis <[email protected]> | 2011-05-03 17:44:59 +0300 |
---|---|---|
committer | Stavros Aronis <[email protected]> | 2011-05-13 09:25:32 +0300 |
commit | 3a7af1c4934c0ce4682d88a6dafc178c1d12a703 (patch) | |
tree | 3b13be97a6303e7f3212666004d481e90b5ea88b /lib/inets/examples | |
parent | 5703c55ea47c52a8dc8475085a8657422da3535e (diff) | |
download | otp-3a7af1c4934c0ce4682d88a6dafc178c1d12a703.tar.gz otp-3a7af1c4934c0ce4682d88a6dafc178c1d12a703.tar.bz2 otp-3a7af1c4934c0ce4682d88a6dafc178c1d12a703.zip |
Fix server loop detection
Dialyzer does not normally emit warnings for functions that
implement non-terminating server loops. This detection failed
when some of the elements in an SCC terminated normally (being
for example list comprehensions or other generic anonymous
functions that were included in the SCC). This patch fixes that.
Diffstat (limited to 'lib/inets/examples')
0 files changed, 0 insertions, 0 deletions