Johan Wikman 27247bea4e Now use maxscale_shutdown()
shutdown_server() has been renamed to maxscale_shutdown().
2016-11-16 15:35:32 +02:00
..
2016-08-17 10:06:35 +03:00
2016-10-14 19:50:54 +03:00
2016-11-16 15:35:32 +02:00
2016-10-14 19:50:54 +03:00
2016-11-08 11:12:37 +01:00
2016-10-14 13:20:52 +03:00