Update isolated_server with the latest from mysql_isolated_server

bunch of little things really.