diff options
Diffstat (limited to 'dev/monitor_parent.erl')
-rw-r--r-- | dev/monitor_parent.erl | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/dev/monitor_parent.erl b/dev/monitor_parent.erl index 382f37e9c..0e9e6c5b7 100644 --- a/dev/monitor_parent.erl +++ b/dev/monitor_parent.erl @@ -14,12 +14,10 @@ -export([start/0]). - start() -> {ok, [[PPid]]} = init:get_argument(parent_pid), spawn(fun() -> monitor_parent(PPid) end). - monitor_parent(PPid) -> timer:sleep(1000), case os:type() of |