e0857421aa
- Fix debugger HTTP health endpoint to also match /ws_debug/health (ingress forwards the full path, not just /health) - Add request logging to all three extra services (LSP, multiplayer, debugger) for HTTP and WebSocket ping/upgrade events Co-authored-by: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
140 lines
4.2 KiB
Python
140 lines
4.2 KiB
Python
import logging
|
|
import subprocess
|
|
import threading
|
|
import os
|
|
|
|
from tornado import ioloop, process, web, websocket
|
|
|
|
from pylsp_jsonrpc import streams
|
|
|
|
try:
|
|
import ujson as json
|
|
except Exception: # pylint: disable=broad-except
|
|
import json
|
|
|
|
log = logging.getLogger(__name__)
|
|
logging.basicConfig(level=os.environ.get("LOGLEVEL", "INFO"))
|
|
|
|
|
|
class LanguageServerWebSocketHandler(websocket.WebSocketHandler):
|
|
"""Setup tornado websocket handler to host an external language server."""
|
|
|
|
writer = None
|
|
id = None
|
|
proc = None
|
|
loop = None
|
|
|
|
def open(self):
|
|
self.id = str(self)
|
|
log.info("Spawning pylsp subprocess" + self.id)
|
|
# Create an instance of the language server
|
|
self.proc = process.Subprocess(
|
|
self.procargs,
|
|
env=os.environ,
|
|
stdin=subprocess.PIPE,
|
|
stdout=subprocess.PIPE,
|
|
)
|
|
|
|
# Create a writer that formats json messages with the correct LSP headers
|
|
self.writer = streams.JsonRpcStreamWriter(self.proc.stdin)
|
|
|
|
# Create a reader for consuming stdout of the language server. We need to
|
|
# consume this in another thread
|
|
def consume():
|
|
# Start a tornado IOLoop for reading/writing to the process in this thread
|
|
self.loop = ioloop.IOLoop()
|
|
reader = streams.JsonRpcStreamReader(self.proc.stdout)
|
|
|
|
def on_listen(msg):
|
|
try:
|
|
self.write_message(json.dumps(msg))
|
|
except Exception as e:
|
|
log.error("Error writing message", e)
|
|
|
|
reader.listen(on_listen)
|
|
|
|
self.thread = threading.Thread(target=consume)
|
|
self.thread.daemon = True
|
|
self.thread.start()
|
|
|
|
def on_message(self, message):
|
|
"""Forward client->server messages to the endpoint."""
|
|
if not "Unhandled method" in message:
|
|
self.writer.write(json.loads(message))
|
|
|
|
def on_close(self) -> None:
|
|
log.info("CLOSING: " + str(self.id))
|
|
self.proc.proc.terminate()
|
|
self.writer.close()
|
|
self.loop.stop()
|
|
|
|
def check_origin(self, origin):
|
|
return True
|
|
|
|
class PyrightLS(LanguageServerWebSocketHandler):
|
|
procargs = ["pipenv", "run", "pyright-langserver", "--stdio"]
|
|
|
|
class DiagnosticLS(LanguageServerWebSocketHandler):
|
|
procargs = ["diagnostic-languageserver", "--stdio", "--log-level", "4"]
|
|
|
|
class RuffLS(LanguageServerWebSocketHandler):
|
|
procargs = ["ruff", "server"]
|
|
|
|
class DenoLS(LanguageServerWebSocketHandler):
|
|
procargs = ["deno", "lsp"]
|
|
|
|
class GoLS(LanguageServerWebSocketHandler):
|
|
procargs = ["gopls", "serve"]
|
|
|
|
class MainHandler(web.RequestHandler):
|
|
def get(self):
|
|
self.write("ok")
|
|
|
|
class HealthHandler(web.RequestHandler):
|
|
def set_default_headers(self):
|
|
self.set_header("Access-Control-Allow-Origin", "*")
|
|
self.set_header("Content-Type", "application/json")
|
|
|
|
def get(self):
|
|
log.info("HTTP GET %s", self.request.uri)
|
|
self.write(json.dumps({"status": "ok", "service": "lsp"}))
|
|
|
|
def options(self):
|
|
self.set_status(204)
|
|
self.finish()
|
|
|
|
class PingHandler(websocket.WebSocketHandler):
|
|
def open(self):
|
|
log.info("WS ping from %s", self.request.remote_ip)
|
|
self.write_message(json.dumps({"type": "pong", "service": "lsp"}))
|
|
self.close()
|
|
|
|
def check_origin(self, origin):
|
|
return True
|
|
|
|
if __name__ == "__main__":
|
|
monaco_path = "/tmp/monaco"
|
|
os.makedirs(monaco_path, exist_ok=True)
|
|
print("The monaco directory is created!")
|
|
go_mod_path = os.path.join(monaco_path, "go.mod")
|
|
if not os.path.exists(go_mod_path):
|
|
f = open(go_mod_path, "w")
|
|
f.write("module mymod\ngo 1.26")
|
|
f.close()
|
|
port = int(os.environ.get("PORT", "3001"))
|
|
app = web.Application(
|
|
[
|
|
(r"/ws/pyright", PyrightLS),
|
|
(r"/ws/diagnostic", DiagnosticLS),
|
|
(r"/ws/ruff", RuffLS),
|
|
(r"/ws/deno", DenoLS),
|
|
(r"/ws/go", GoLS),
|
|
(r"/ws/ping", PingHandler),
|
|
(r"/ws/health", HealthHandler),
|
|
(r"/", MainHandler),
|
|
(r"/health", HealthHandler),
|
|
]
|
|
)
|
|
app.listen(port, address="0.0.0.0")
|
|
ioloop.IOLoop.current().start()
|