diff options
| author | Robert Newson <robert.newson@cloudant.com> | 2012-01-18 13:39:37 +0000 |
|---|---|---|
| committer | Robert Newson <robert.newson@cloudant.com> | 2012-01-18 13:40:02 +0000 |
| commit | 855bb7dcda1cef59c449d62de35d9c4d74683731 (patch) | |
| tree | ec44063fefeab642760ccc8718be822d93946191 /rebar.config | |
| parent | b5c6252b4f99092215f46fe62be5b124eeac734d (diff) | |
Revert use of spawn_monitor
As Filipe correctly points out, we want the parent to die if the child dies.
Diffstat (limited to 'rebar.config')
0 files changed, 0 insertions, 0 deletions