Spaces:

jankip20
/

sql-env

Sleeping

Upload folder using huggingface_hub

fdc5e2c verified 6 months ago

1.96 kB

# Copyright (c) Meta Platforms, Inc. and affiliates.
# All rights reserved.
#
# This source code is licensed under the BSD-style license found in the
# LICENSE file in the root directory of this source tree.

"""
FastAPI application for the Sql Env Environment.

This module creates an HTTP server that exposes the SqlEnvironment
over HTTP and WebSocket endpoints, compatible with EnvClient.

Endpoints:
    - POST /reset: Reset the environment
    - POST /step: Execute an action
    - GET /state: Get current environment state
    - GET /schema: Get action/observation schemas
    - WS /ws: WebSocket endpoint for persistent sessions

Usage:
    # Development (with auto-reload):
    uvicorn server.app:app --reload --host 0.0.0.0 --port 8000

    # Production:
    uvicorn server.app:app --host 0.0.0.0 --port 8000 --workers 4

    # Or run directly:
    python -m server.app
"""

try:
    from openenv.core.env_server.http_server import create_app
except Exception as e:  # pragma: no cover
    raise ImportError(
        "openenv is required for the web interface. Install dependencies with '\n    uv sync\n'"
    ) from e

import sys
import os
sys.path.insert(0, os.path.dirname(os.path.dirname(os.path.abspath(__file__))))

try:
    from models import SqlAction, SqlObservation
    from server.sql_env_environment import SqlEnvironment
except ModuleNotFoundError:
    from server.models import SqlAction, SqlObservation
    from server.sql_env_environment import SqlEnvironment


# Create the app with web interface and README integration
app = create_app(
    SqlEnvironment,
    SqlAction,
    SqlObservation,
    env_name="sql_env",
    max_concurrent_envs=1,  # increase this number to allow more concurrent WebSocket sessions
)


def main(host: str = "0.0.0.0", port: int = 8000):
    import uvicorn
    uvicorn.run(app, host=host, port=port)

if __name__ == "__main__":
    main()

	# Copyright (c) Meta Platforms, Inc. and affiliates.
	# All rights reserved.
	#
	# This source code is licensed under the BSD-style license found in the
	# LICENSE file in the root directory of this source tree.

	"""
	FastAPI application for the Sql Env Environment.

	This module creates an HTTP server that exposes the SqlEnvironment
	over HTTP and WebSocket endpoints, compatible with EnvClient.

	Endpoints:
	- POST /reset: Reset the environment
	- POST /step: Execute an action
	- GET /state: Get current environment state
	- GET /schema: Get action/observation schemas
	- WS /ws: WebSocket endpoint for persistent sessions

	Usage:
	# Development (with auto-reload):
	uvicorn server.app:app --reload --host 0.0.0.0 --port 8000

	# Production:
	uvicorn server.app:app --host 0.0.0.0 --port 8000 --workers 4

	# Or run directly:
	python -m server.app
	"""

	try:
	from openenv.core.env_server.http_server import create_app
	except Exception as e: # pragma: no cover
	raise ImportError(
	"openenv is required for the web interface. Install dependencies with '\n uv sync\n'"
	) from e

	import sys
	import os
	sys.path.insert(0, os.path.dirname(os.path.dirname(os.path.abspath(__file__))))

	try:
	from models import SqlAction, SqlObservation
	from server.sql_env_environment import SqlEnvironment
	except ModuleNotFoundError:
	from server.models import SqlAction, SqlObservation
	from server.sql_env_environment import SqlEnvironment


	# Create the app with web interface and README integration
	app = create_app(
	SqlEnvironment,
	SqlAction,
	SqlObservation,
	env_name="sql_env",
	max_concurrent_envs=1, # increase this number to allow more concurrent WebSocket sessions
	)


	def main(host: str = "0.0.0.0", port: int = 8000):
	import uvicorn
	uvicorn.run(app, host=host, port=port)

	if __name__ == "__main__":
	main()