coverage: ignore wsgiserver