mirror of
https://github.com/MariaDB/server.git
synced 2025-08-31 22:22:30 +03:00

oportunity to check if any other process fails during this. Add possiblitiy to store "user_data" in a Safeprocess Add function to get pid from a SafeProcess