Rename api.sml to server.sml

ncough · Nov 9, 2017 · 53dad44 · 53dad44
1 parent 5bdda16
commit 53dad44
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 8 deletions.
diff --git a/README.md b/README.md
@@ -1,15 +1,15 @@
 Automated regression test infrastructure for CakeML.
 
-[api.sml](api.sml):
-Implements the server-side regression-test API as a CGI program.
-
 [apiLib.sml](apiLib.sml):
 The API that the server and worker agree on.
 
 [flock.sml](flock.sml):
 Maintenance tool: acquire the lock that is used by the server to run a
 command without interfering with the server.
 
+[server.sml](server.sml):
+Implements the server-side regression-test API as a CGI program.
+
 [serverLib.sml](serverLib.sml):
 Functions for manipulating the queues in the filesystem on the server,
 including for getting information from GitHub with which to update them.

diff --git a/TODO b/TODO
@@ -31,8 +31,3 @@ TODO: Replace calls to the OS shell with SML Basis functionality
   and redirecting standard streams. This could all be implemented in the SML
   Basis, in particular using Posix structure, instead. Doing so might be more
   reliable?
-
-(*
-server = api.sml
-worker = worker.sml
-*)
diff --git a/api.sml → server.sml b/api.sml → server.sml