From 6e3fc0992be7ddd841328028dec51d390fffb851 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Wed, 25 Jan 2017 01:48:41 +0100
Subject: [stm] Add common toploop for workers.

This is a small, but convenient refactoring, as it will allow common
argument parsing.
---
 stm/workerLoop.ml | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100644 stm/workerLoop.ml

(limited to 'stm/workerLoop.ml')

diff --git a/stm/workerLoop.ml b/stm/workerLoop.ml
new file mode 100644
index 0000000000..56fcf8537f
--- /dev/null
+++ b/stm/workerLoop.ml
@@ -0,0 +1,15 @@
+(************************************************************************)
+(*  v      *   The Coq Proof Assistant  /  The Coq Development Team     *)
+(* <O___,, *   INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2016     *)
+(*   \VV/  **************************************************************)
+(*    //   *      This file is distributed under the terms of the       *)
+(*         *       GNU Lesser General Public License Version 2.1        *)
+(************************************************************************)
+
+let rec parse args = args
+
+let loop init args =
+  Flags.make_silent true;
+  init ();
+  CoqworkmgrApi.init !Flags.async_proofs_worker_priority;
+  args
-- 
cgit v1.2.3


From 829a8feb3d02da057d39b5029b422e8a45dd1608 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Wed, 25 Jan 2017 14:39:29 +0100
Subject: [xml] Restore protocol compatibility with 8.6.

By default, we serialize messages to the "rich printing
representation" as it was done in 8.6, this ways clients don't have to
adapt unless they specifically request the new format using option
`--xml_format=Ppcmds`
---
 stm/workerLoop.ml | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'stm/workerLoop.ml')

diff --git a/stm/workerLoop.ml b/stm/workerLoop.ml
index 56fcf8537f..50b42512cb 100644
--- a/stm/workerLoop.ml
+++ b/stm/workerLoop.ml
@@ -6,9 +6,13 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-let rec parse args = args
+let rec parse = function
+  | "--xml_format=Ppcmds" :: rest -> parse rest
+  | x :: rest -> x :: parse rest
+  | [] -> []
 
 let loop init args =
+  let args = parse args in
   Flags.make_silent true;
   init ();
   CoqworkmgrApi.init !Flags.async_proofs_worker_priority;
-- 
cgit v1.2.3