create a script to kill unresponsive servers
Registered by
Giuseppe Maxia
create a script at sandbox and SANDBOX_HOME level to kill unresponsive servers.
when called, this script collects PID from the .PID files, calls "kill -n PID" and removes the .PID file
Blueprint information
- Status:
- Complete
- Approver:
- Giuseppe Maxia
- Priority:
- Medium
- Drafter:
- Giuseppe Maxia
- Direction:
- Approved
- Assignee:
- Giuseppe Maxia
- Definition:
- Approved
- Series goal:
- Accepted for mysql-sandbox-1.99-alpha
- Implementation:
-
Implemented
- Milestone target:
- None
- Started by
- Giuseppe Maxia
- Completed by
- Giuseppe Maxia
Related branches
Related bugs
Sprints
Whiteboard
(?)
Work Items
Dependency tree
* Blueprints in grey have been implemented.
