| ▲ | yjftsjthsd-h 12 hours ago | |
It seems weird to require the user to remember that ports have to be marked uint when it doesn't look like anything else does. | ||
| ▲ | ralferoo 11 hours ago | parent [-] | |
PIDs haven't been limited to 16-bits for a long time. I guess the default integer in these things is 32-bit signed. But, yeah, this could be solved if uint promoted to larger for the comparison. | ||