Advertisement
Guest User

Untitled

a guest
Sep 19th, 2019
253
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 4.23 KB | None | 0 0
  1. /workbench
  2.  
  3.  
  4. /server
  5.  
  6.  
  7.  
  8. Server {
  9. name: Option[String]
  10.  
  11.  
  12.  
  13. }
  14.  
  15. GET /server
  16. List all Servers user has access to
  17.  
  18. ServerOverview {
  19. id: String,
  20. ownerId: String,
  21. name: String,
  22. status: Enum [Starting, Running, Stopping, Stopped, Deleted]
  23. lastAccessed: DateTime
  24. }
  25.  
  26. POST /server
  27. Create new Server
  28.  
  29.  
  30. NewServer {
  31. baseImage: String,
  32. computeResources: Object {
  33. numCores: Double
  34. ramSize: Double
  35. disk: Int
  36. numGpus: Int
  37. }
  38. workspaceId: String [Jupyter|RStudio|...]
  39. }
  40.  
  41.  
  42.  
  43.  
  44. GET /server/[server_id]/
  45.  
  46. Get details of Server
  47.  
  48. ServerDetails {
  49. id: String,
  50. ownerId: String,
  51. name: String,
  52. status: Enum [Starting, Running, Stopping, Stopped, Deleted]
  53. lastAccessed: DateTime,
  54. resourceUsageOverview: ResourceUsageOverview
  55. }
  56.  
  57. ResourceUsageOverview {
  58. cpuUsage: Double,
  59. totalCpuAvailable: Double,
  60. memoryUsage: Double,
  61. totalMemoryAvailable: Double,
  62. diskUsage: Double,
  63. totalDiskAvailable: Double,
  64. totalGpuAvailable: Integer
  65. }
  66.  
  67. GET /server/[server_id]/resources
  68.  
  69. Get details of the server's resource utilization
  70.  
  71. ResourceUsageDetails {
  72. cpuUsageHistory: Timeseries[Double],
  73. memoryUsageHistory: Timeseries[Double],
  74. diskUsageHistory: Timeseries[Double],
  75. availableResourcePresets: Array[ResourcePreset]
  76. }
  77.  
  78. ResourcePreset {
  79. name: String,
  80. totalCpu: Double,
  81. totalMemory: Double,
  82. totalDisk: Double,
  83. totalGpu: Integer
  84. }
  85.  
  86.  
  87. POST /server/[server_id]/resources
  88.  
  89. Resize an existing Server (i.e., change its available CPU/Memory/Disk/GPU)
  90.  
  91. ServerResourceConfig {
  92.  
  93. }
  94.  
  95.  
  96.  
  97. GET /server/[server_id]/files/[subpath]
  98.  
  99. List all files in tree in subpath
  100.  
  101. FileListing {
  102. path: String,
  103. fileMeta: Array[FileDetails]
  104. }
  105.  
  106. FileDetails {
  107. name: String,
  108. sizeInBytes: Long,
  109. lastModified: DateTime,
  110. created: DateTime
  111. }
  112.  
  113. GET /server/[server_id]/file/[path]
  114.  
  115. Get file details for the given path
  116.  
  117. FileDetail {
  118. path: String,
  119. sizeInBytes: Long,
  120. lastModified: DateTime,
  121. content: String
  122. }
  123.  
  124.  
  125. POST /server/[server_id]/repo/new
  126.  
  127. Start a new Git repository
  128.  
  129. NewRepo {
  130. repoName: String,
  131. pathToCloneTo: String
  132. }
  133.  
  134.  
  135. POST /server/[server_id]/repo/clone
  136.  
  137. Clone an existing repo onto the Server file system
  138.  
  139. CloneRepo {
  140. repoUri: String,
  141. pathToCloneTo: String
  142. }
  143.  
  144. GET /server/[server_id]/repo/
  145.  
  146. List all attached Git REpositories in this server
  147.  
  148. Array[RepoOverview]
  149.  
  150. RepoOverview {
  151. repoId: String,
  152. localPath: String,
  153. repoName: String,
  154. currentBranch: String,
  155. headCommit: String,
  156. isClean: Boolean
  157. }
  158.  
  159. GET /server/[server_id]/repo/[repo_id]
  160.  
  161. Get details of Repo
  162.  
  163. RepoDetails {
  164. changes: Array[FileChange],
  165. repoId: String,
  166. currentBranch: String,
  167. allBranches: Array[String],
  168. recentCommitHistory: Array[CommitOverview]
  169. }
  170.  
  171. FileChange {
  172. path: String,
  173. changeType: Enum [MOdified, Added, Deleted]
  174. }
  175.  
  176. CommitOverview {
  177. commitId: String,
  178. author: String,
  179. message: String,
  180. timestamp: DateTime
  181. }
  182.  
  183.  
  184.  
  185. GET /server/[server_id]/datasource
  186.  
  187. Get overview of Data Sources attached to this Server
  188.  
  189. Array[DataSource]
  190.  
  191. DataSource {
  192. id: String
  193. name: String,
  194. type: String
  195. }
  196.  
  197. GET /server/[server_id]/datasource/[datasource_id]
  198.  
  199. Get details of the given Data Source
  200.  
  201. DataSourceDetails {
  202. id: String,
  203. name: String,
  204. type: String,
  205. configuration: Object {
  206. username: String,
  207. password: String,
  208. host: String,
  209. port: Integer,
  210. database: String
  211. },
  212. codeSnippets: Array[CodeSnippet]
  213. }
  214.  
  215. CodeSnippet {
  216. isCustom: Boolean // if false then assume is Domino-provided
  217. title: String,
  218. content: String,
  219. languages: Array[String]
  220. }
  221.  
  222. GET /datasource/
  223.  
  224. Get all Data Sources available to this user
  225.  
  226. Array[DataSourceOverview]
  227.  
  228. DataSourceOverview {
  229. id: String,
  230. dataStoreType: String,
  231. name: String,
  232. createdOn: DateTime
  233. }
  234.  
  235.  
  236. GET /datasource/[datasource_id]
  237.  
  238. Get details of a Data Source
  239.  
  240. DataSourceDetails {
  241. id: String,
  242. dataStoreType: String,
  243. dataStoreName: String,
  244. creatorUsername: String,
  245. description: String,
  246. connection: String,
  247. lastUpdated: DateTime,
  248. created: DateTime
  249. }
  250.  
  251.  
  252.  
  253.  
  254.  
  255.  
  256.  
  257.  
  258.  
  259.  
  260.  
  261.  
  262.  
  263. /cluster
  264.  
  265. /datasource
  266.  
  267. /packages
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement