Fixed memory leak in envy_server