lampepfl/dotty-remote-tracer

A receptor for Dotty LSP remote tracing

Dotty remote trace

A Play application that receives LSP logs coming from Dotty VSCode extension.

So far it is only meant to be used as part of EPFL courses.

VSCode configuration

Example:

{
  "dotty.remoteWorkspaceDumpUrl": "http://localhost:7000/upload/workspace-dump.zip",
  "dotty.remoteTracingUrl": "ws://localhost:7000/upload/lsp.log",
  "dotty.trace.server": { "format": "JSON", "verbosity": "verbose" }
}

Both URLs are independent and can be omitted - their respective tracing will be omitted if they are missing.

Last line is necessary to enable VSCode LSP tracing. If both URLs are omitted, LSP will be simply logged to local output.

dotty-remote-tracer's Issues

Fix 'early response' issue

The following warning occasionally appears in logs:

[warn] a.a.ActorSystemImpl - Sending an 2xx 'early' response before end of request was received... Note that the connection will be closed after this response. Also, many clients will not read early responses! Consider only issuing this response after the request data has been completely read!

This seems to be caused by uploading workspace dumps. It also does not appear to cause any problems with either the server or the client. Nevertheless, we should track down what exactly causes this problem and fix it to stop a useless warning from polluting the logs.