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	Progress bar (#1709)	2019-05-30 10:30:41 -04:00
ForkProcessDoneMessage.php	Progress bar (#1709)	2019-05-30 10:30:41 -04:00
ForkProcessErrorMessage.php	Improve handling when threads cannot be used	2020-02-17 22:06:36 -05:00
ForkTaskDoneMessage.php	Disable progress bar when forking processes	2019-05-30 15:15:12 -04:00
Pool.php	Fix #2994 (#3016)	2020-03-25 21:25:33 -04:00
PsalmRestarter.php	Clean up more unused @psalm-suppress annotations	2019-08-18 16:59:56 -04:00