enterprise-support team mailing list archive

[Giuseppe Maxia <1362014@xxxxxxxxxxxxxxxxxx>]

** Changed in: mysql-sandbox
       Status: Confirmed => Fix Released

-- 
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