From cf6b12cb3a88fb3af6a7b3e91d17db8b06d23c81 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Mon, 1 Sep 2014 14:54:49 +0200
Subject: coqworkmgr

---
 lib/flags.ml  | 7 +++++++
 lib/flags.mli | 4 ++++
 2 files changed, 11 insertions(+)

(limited to 'lib')

diff --git a/lib/flags.ml b/lib/flags.ml
index 75f149eb69..790acfef59 100644
--- a/lib/flags.ml
+++ b/lib/flags.ml
@@ -57,6 +57,13 @@ let async_proofs_always_delegate = ref false
 let async_proofs_never_reopen_branch = ref false
 let async_proofs_flags_for_workers = ref []
 let async_proofs_worker_id = ref "master"
+type priority = Low | High
+let async_proofs_worker_priority = ref Low
+let string_of_priority = function Low -> "low" | High -> "high"
+let priority_of_string = function
+  | "low" -> Low
+  | "high" -> High
+  | _ -> raise (Invalid_argument "priority_of_string")
 
 let async_proofs_is_worker () =
   !async_proofs_worker_id <> "master"
diff --git a/lib/flags.mli b/lib/flags.mli
index 4697e4cacd..11909c5fa2 100644
--- a/lib/flags.mli
+++ b/lib/flags.mli
@@ -26,6 +26,10 @@ val async_proofs_always_delegate : bool ref
 val async_proofs_never_reopen_branch : bool ref
 val async_proofs_flags_for_workers : string list ref
 val async_proofs_worker_id : string ref
+type priority = Low | High
+val async_proofs_worker_priority : priority ref
+val string_of_priority : priority -> string
+val priority_of_string : string -> priority
 
 val debug : bool ref
 
-- 
cgit v1.2.3