Commit 3c0c8852 authored by Michele Alberti's avatar Michele Alberti
Browse files

[Server] Add service for retrieving the current project source filenames.

parent 4d7915e8
......@@ -121,3 +121,15 @@ let () = Request.register ~page
(ProjectRequest.process `EXEC)
(* -------------------------------------------------------------------------- *)
(* --- Project Management --- *)
(* -------------------------------------------------------------------------- *)
let () =
Request.register
~kind:`GET
~page ~name:"kernel.project.getSourceFiles"
~descr:(Md.plain "Get the files of the current project")
~input:(module Junit) ~output:(module Jstring.Jlist)
Kernel.Files.get
(* -------------------------------------------------------------------------- *)
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment