1
0
mirror of https://github.com/MariaDB/server.git synced 2025-06-04 18:03:14 +03:00
msvensson@pilot.mysql.com 1e39c3cc70 kickstart the fake cygwin process in case safe_kill fails
Loop twice over process to shutdown, first handle thise that has been
shutdown and then continue with the ones that have been killed
2008-03-14 14:01:12 +01:00
..
2007-12-12 18:19:24 +01:00
2008-03-14 13:34:39 +01:00
2007-12-12 18:19:24 +01:00
2008-03-13 17:16:42 +01:00
2008-02-20 14:55:30 +01:00