moonbridge
diff LICENSE @ 298:09d6428fdf6c
Fixed wrong treatment of waitpid() return value in moonbridge_io.poll(...)
| author | jbe |
|---|---|
| date | Sun Jun 18 01:01:45 2017 +0200 (2017-06-18) |
| parents | f6d3b3f70dab |
| children | f6154dccdab8 |
line diff
| author | jbe |
|---|---|
| date | Sun Jun 18 01:01:45 2017 +0200 (2017-06-18) |
| parents | f6d3b3f70dab |
| children | f6154dccdab8 |