1
0
mirror of https://github.com/danog/psalm.git synced 2024-12-15 02:47:02 +01:00
psalm/src/Psalm/Internal/Fork
m0003r 71826ad69e
Fix #2994 (#3016)
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.
2020-03-25 21:25:33 -04:00
..
ForkMessage.php
ForkProcessDoneMessage.php
ForkProcessErrorMessage.php Improve handling when threads cannot be used 2020-02-17 22:06:36 -05:00
ForkTaskDoneMessage.php
Pool.php Fix #2994 (#3016) 2020-03-25 21:25:33 -04:00
PsalmRestarter.php