enterprise-support team mailing list archive

[Giuseppe Maxia <1362014@xxxxxxxxxxxxxxxxxx>]

Public bug reported:

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.

** Affects: mysql-sandbox
     Importance: High
     Assignee: Giuseppe Maxia (giuseppe-maxia)
         Status: Confirmed

-- 
You received this bug notification because you are a member of Ubuntu
Server/Client Support Team, which is subscribed to MySQL.
Matching subscriptions: Ubuntu Server/Client Support Team
https://bugs.launchpad.net/bugs/1362014

Title:
  Sandbox scripts can't deal with stale PID files

To manage notifications about this bug go to:
https://bugs.launchpad.net/mysql-sandbox/+bug/1362014/+subscriptions