From a853ee40c6475801ca03c17a11632d48a4992de7 Mon Sep 17 00:00:00 2001
From: Hans Bolinder
ok
-\011 %% We were previously guaranteed to get a down message
-\011 %% (since we exited the process ourself), so we could
-\011 %% in this case leave out:
-\011 %% after 0 -> ok
-\011 end,
+ receive
+ {'DOWN', Mon , process, Pid, _} -> ok
+ %% We were previously guaranteed to get a down message
+ %% (since we exited the process ourself), so we could
+ %% in this case leave out:
+ %% after 0 -> ok
+ end,
]]>
*** POTENTIAL INCOMPATIBILITY ***
Own Id: OTP-5772
@@ -5342,7 +5342,7 @@If Erlang/OTP was installed in a short directory name,
- such as
Own Id: OTP-5254