diff options
| author | Loïc Hoguin <[email protected]> | 2013-04-01 18:49:52 +0200 |
|---|---|---|
| committer | Loïc Hoguin <[email protected]> | 2013-04-01 20:41:20 +0200 |
| commit | 3bdde42c1f945a1485b36b3fe33839f93199339e (patch) | |
| tree | a9d1077695263f9d9345f487cc1c0ce37eb22ce4 /lib/stdlib/src/ordsets.erl | |
| parent | a86bb2d592486144414fbbebca85ab36ffca2446 (diff) | |
| download | otp-3bdde42c1f945a1485b36b3fe33839f93199339e.tar.gz otp-3bdde42c1f945a1485b36b3fe33839f93199339e.tar.bz2 otp-3bdde42c1f945a1485b36b3fe33839f93199339e.zip | |
Use erlang:demonitor's flush option on timeout
It is equivalent to the few lines removed, except more efficient.
Diffstat (limited to 'lib/stdlib/src/ordsets.erl')
0 files changed, 0 insertions, 0 deletions