Updates in test_mantis_server and test_mantis_client