enso-org/enso
1
1
Fork 0
mirror of https://github.com/enso-org/enso.git synced 2024-12-02 02:14:12 +03:00
Code Issues Projects Releases Wiki Activity
c5853e0ffc
enso/docs/language-server/project-manager-http-endpoints.md
Dmitry Bushev f691713077
Add endpoint for downloading a project (#7291) 
close #7194

Changelog:

- add: `/projects/{project_id}/enso_project` HTTP endpoint returning an `.enso-project` archive structure
- update: archive enso project to a `.enso-project` `.tar.gz` archive
- update: make project `path` a required field
2023-07-14 13:18:08 +00:00

1.1 KiB
Raw Blame History

layout title category tags order
developer-doc Project Manager HTTP Endpoints language-server
language-server
protocol
specification
7

HTTP Endpoints

Project Manager exposes a number of HTTP endpoints on the same socket as the JSONRPC protocol.

/projects/{project_id}/enso-project

HTTP endpoint that returns the project structure in .enso-project format.

GET

Returns:

  • 200 OK with the body containing the project structure as a .tar.gz archive
  • 404 Not Found when the project cannot be found by the provided id
  • 500 Internal Server Error in case of errors

Request

> GET /projects/730a66ef-4222-46f8-8a03-d766946ab2bd/enso-project HTTP/1.1
> Host: localhost:30535
> User-Agent: curl/8.1.2
> Accept: */*

Response

< HTTP/1.1 200 OK
< Server: akka-http/10.2.10
< Date: Thu, 13 Jul 2023 16:20:08 GMT
< Content-Type: application/gzip
< Content-Length: 2527
<
[2527 bytes data]