Update MANAGED_SERVER.md

This commit is contained in:
Ksenchi 2025-11-12 07:22:06 +01:00 committed by GitHub
parent a341252a21
commit edf26d68e1
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -688,7 +688,7 @@ The context manager:
- [ManagedServer Source Code](managed_server.py)
- [ManagedServer Tests](../../tests/test_managed_server.py)
- [Example: math_server_zero.py](../../../../environments/math_server_zero.py#L320-L332)
- [Example: math_server_zero.py](../../../environments/math_server_zero.py#L320-L332)
- [Example: math_server.py](../../../../environments/math_server.py#L377-L387)
- [BaseEnv Documentation](../README.md)
- [API Server Documentation](../../api/README.md)