mirror of https://github.com/enso-org/enso.git synced 2024-12-21 12:51:37 +03:00

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

HTTP Endpoints

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

/projects/{project_id}/enso-project

`/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]

1.1 KiB Raw Blame History