mirror of
https://github.com/danog/psalm.git
synced 2024-12-12 17:27:28 +01:00
71826ad69e
More carefully handling stream_select errors when system call is interrupted. It can be detected by parsing error message. If it is interrupted, just try again. |
||
---|---|---|
.. | ||
ForkMessage.php | ||
ForkProcessDoneMessage.php | ||
ForkProcessErrorMessage.php | ||
ForkTaskDoneMessage.php | ||
Pool.php | ||
PsalmRestarter.php |