wassname/ray - ray - Gitea: Git with a cup of tea

wassname/ray

Fork 0

mirror of https://github.com/wassname/ray.git synced 2026-07-16 11:21:10 +08:00

Commit Graph

Author	SHA1	Message	Date
mehrdadnandPhilipp Moritz	9d6e03aba0	Fix use of select() instead of poll() (#6477 ) * Fix Arrow poll() patch - Negative timeout for poll() was not translated to infinite timeout for select() - Only use select() on Windows, as other systems limit the range of the file descriptors * Apply poll() -> select() patch to Redis's ae.c as well	2019-12-17 02:33:37 -08:00
mehrdadnandPhilipp Moritz	9948a3779d	Simplify patches and make them more robust (#6478 ) * Get rid of 'index' lines in patches, which are unnecessary and likely wrong anyway (esp. when there are multiple patches) * Simplify patches to remove unnecessary context and make them more robust	2019-12-16 19:28:06 -08:00
mehrdadnandPhilipp Moritz	17103376c5	Patch arrow for Windows (#6363 )	2019-12-05 16:09:21 -08:00

Author

SHA1

Message

Date

mehrdadnandPhilipp Moritz

9d6e03aba0

Fix use of select() instead of poll() (#6477 )

* Fix Arrow poll() patch

- Negative timeout for poll() was not translated to infinite timeout for select()
- Only use select() on Windows, as other systems limit the range of the file descriptors

* Apply poll() -> select() patch to Redis's ae.c as well

2019-12-17 02:33:37 -08:00

mehrdadnandPhilipp Moritz

9948a3779d

Simplify patches and make them more robust (#6478 )

* Get rid of 'index' lines in patches, which are unnecessary and likely wrong anyway (esp. when there are multiple patches)

* Simplify patches to remove unnecessary context and make them more robust

2019-12-16 19:28:06 -08:00

mehrdadnandPhilipp Moritz

17103376c5

Patch arrow for Windows (#6363 )

2019-12-05 16:09:21 -08:00