Make pipe non-blocking #2
Loading…
Reference in New Issue
Block a user
No description provided.
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
We don't want to starve the httpd waiting for PHP to finish writing to the pipe (which takes until the current build has finished if one is running).
Implemented in commit
31b48cb92f
.