} finally {
            try {
                server1.stop();
            } finally {
                server2.stop();
            }
        }
    }

    public void test_cleanup() throws Exception {
        final String sessionId = crawler.getSessionId();

        // Add some test data
        crawler.addUrl("http://example.com/");

        // Perform cleanup - should not throw exception

        // Release regions
        bufferManager.releaseSendRegion(region1);
        bufferManager.releaseReceiveRegion(region2);
    }

    @Test
    public void testCleanup() throws Exception {
        // Allocate some regions from the pool and then release them back
        RdmaMemoryRegion region1 = bufferManager.getSendRegion(1024);