diff options
| author | David Reid <dreid@dreid.org> | 2011-08-08 09:46:58 -0700 |
|---|---|---|
| committer | Tuncer Ayaz <tuncer.ayaz@gmail.com> | 2011-08-10 18:32:58 +0200 |
| commit | 6736e3147e8587c0c22aff5040e80f1129ce9e79 (patch) | |
| tree | 95b92547cfec0e388cd1706ac32c44ffb4bded20 /Makefile | |
| parent | 2911d48fb1941b56d7660d8e8b51e395832a3a0b (diff) | |
Fix handling of {already_started,Pid} from cover:start
Previous patch erroneously assumed that cover:start() returned
{already_started,Pid} in the cases where cover was already started. We
now turn {error,{already_started,Pid}} into {ok, Pid} and return
{error, Reason} if we encounter an error we do not know about, this
will cause a nice and violent badmatch to stop everything.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions