diff options
| author | Fred Hebert <mononcqc@ferd.ca> | 2017-12-06 08:53:12 -0500 |
|---|---|---|
| committer | Fred Hebert <mononcqc@ferd.ca> | 2017-12-06 08:53:12 -0500 |
| commit | f12871451f2c60bc35da053198ccc48d1b1db687 (patch) | |
| tree | 0404d9c817ae3de555f1b1cc757d725af2beaf67 /manpages/commands | |
| parent | d45bacb73bd1a255a5042929a49c81ab298df946 (diff) | |
Safer purge switch
Rather than the caller having to think of what to purge or not, use
erlang:check_process_code/2 to detect if the caller (rebar3) may die
because of the operation.
If so, do a soft purge with a conditional delete instead of a hard purge
with a mandatory delete.
Diffstat (limited to 'manpages/commands')
0 files changed, 0 insertions, 0 deletions