changeset | 8a169fc0838b |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Change tasks to support parametric code; add clientLeaves |
files |
changeset | 7c6b6c3c7b79 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Some client-side error handling |
files |
changeset | 2197f0e24a9f |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Avoid thread death via message receive |
files |