moonbridge
diff README @ 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 | 757902555204 |
| children |
line diff
| author | jbe |
|---|---|
| date | Sun Jun 18 01:01:45 2017 +0200 (2017-06-18) |
| parents | 757902555204 |
| children |