Fixed trivial_exampleserver test, which was broken due to the fix for #214