Sandbox scripts can't deal with stale PID files
Bug #1362014 reported by
Giuseppe Maxia
This bug affects 1 person
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| MySQL Sandbox |
Fix Released
|
High
|
Giuseppe Maxia | ||
Bug Description
When a sandbox is killed without using any of the supplied scripts (for example using 'kill $PID', or by restarting the host), the PID files are left in their directory, and sandbox scripts report wrong information:
* the 'start' script says that the server is already started
* the 'send_kill' script tries to send a kill to a non existing PID
* the 'stop' script tries stopping a non working server
* the 'status' script reports the sandbox as online (Bug#1361851)
We need to modify the scripts so that they check if the PID is among the running ones, and act accordingly.
| Changed in mysql-sandbox: | |
| status: | Confirmed → Fix Released |
To post a comment you must log in.
