Commits

Dmitry Grebeniuk  committed 25050ce

Amall_http_service: + listener_stop

  • Participants
  • Parent commits e67ef0d

Comments (0)

Files changed (1)

File src/amall_http_service.ml

     value listener_run : listener -> unit
     ;
 
+    value listener_stop : listener -> unit
+    ;
+
+
     (* creates a destination mount point in the specified segpath
        below the source mount point. *)
     value mount_rel : mount_point -> segpath -> mount_point
       ]
     ;
 
+    value listener_stop l =
+      IO.shutdown_server (Lazy.force l.io_server_lazy)
+    ;
+
   end
 ;