Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

[feature] Badop_light: Added Light to status.

  • Loading branch information...
commit 8e93a4dea5b1ad840f5d6ac6991dead45466fca0 1 parent d7716f3
@nrs135 nrs135 authored Louis Gesbert committed
Showing with 2 additions and 1 deletion.
  1. +1 −0  database/badop.ml
  2. +1 −1  database/badop_light.ml
View
1  database/badop.ml
@@ -113,6 +113,7 @@ type 'a answer = [
(** A type for the introspection of a running badop *)
type status =
| Local of string (* path where the files are stored *)
+ | Light of string (* light version, path where the dbm files are stored *)
| Client of Unix.inet_addr * (Unix.inet_addr * int) * status (* local, remote, remote status *)
| Layer of string * status
| Layer_multi of string * status list
View
2  database/badop_light.ml
@@ -41,7 +41,7 @@ let open_database options k =
let close_database db k =
Session_light.close_db db.session |> k
-let status db k = Badop.Local db.file |> k
+let status db k = Badop.Light db.file |> k
module Tr = struct
let start db k =
Please sign in to comment.
Something went wrong with that request. Please try again.