Several fixes in ioserv and run_servers