diff options
| author | dimitri staessens <dimitri.staessens@intec.ugent.be> | 2016-07-05 18:52:12 +0200 |
|---|---|---|
| committer | dimitri staessens <dimitri.staessens@intec.ugent.be> | 2016-07-05 19:07:25 +0200 |
| commit | bc9c60382b226e5a75a11a99364b9b799dc2b0c2 (patch) | |
| tree | f9072634e81bc152c0ca52b927ab9984a845e0e8 /src/tools/irm | |
| parent | db96f7d488681be47abfeec6c636fd4159a37660 (diff) | |
| download | ouroboros-bc9c60382b226e5a75a11a99364b9b799dc2b0c2.tar.gz ouroboros-bc9c60382b226e5a75a11a99364b9b799dc2b0c2.zip | |
lib: Change invalid pid to -1
The stack used pid 0 (the scheduler) to indicate an invalid process
instance, probably as a leftover from the deprecated application
process instance id. Using -1 is a better solution.
Fixes #16.
Diffstat (limited to 'src/tools/irm')
0 files changed, 0 insertions, 0 deletions