mirror of
https://github.com/ovh/the-bastion.git
synced 2026-05-09 08:25:27 +02:00
[PR #309] [MERGED] fix: ping: force a deadline, and restore default sighandlers #390
Labels
No labels
answered
bug
documentation
enhancement
enhancement
feature
feature
kept-open-for-info
pull-request
question
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference
starred/the-bastion#390
Loading…
Add table
Add a link
Reference in a new issue
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?
📋 Pull Request Information
Original PR: https://github.com/ovh/the-bastion/pull/309
Author: @speed47
Created: 6/21/2022
Status: ✅ Merged
Merged: 6/29/2022
Merged by: @speed47
Base:
master← Head:ping_deadline📝 Commits (1)
321633afix: ping: force a deadline, and restore default sighandlers📊 Changes
2 files changed (+14 additions, -5 deletions)
View changed files
📝
bin/plugin/open/ping(+13 -4)📝
doc/sphinx/plugins/open/ping.rst(+1 -1)📄 Description
No description provided
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.