From 4bfd4559b89987ad22d692db0398a6f4b8608b01 Mon Sep 17 00:00:00 2001
From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr>
Date: Thu, 28 Mar 2019 16:26:46 +0100
Subject: [PATCH] Fix: take into account the #q RIF pragma
---
lib/sasacore/rifRead.ml | 5 +++--
1 file changed, 3 insertions(+), 2 deletions(-)
diff --git a/lib/sasacore/rifRead.ml b/lib/sasacore/rifRead.ml
index f1df668d..d3d62428 100644
--- a/lib/sasacore/rifRead.ml
+++ b/lib/sasacore/rifRead.ml
@@ -1,4 +1,4 @@
-(* Time-stamp: <modified the 13/03/2019 (at 17:54) by Erwan Jahier> *)
+(* Time-stamp: <modified the 28/03/2019 (at 15:31) by Erwan Jahier> *)
(* xxx use RifIO.read instead ! *)
let bool verbose_mode p a =
@@ -18,7 +18,8 @@ let bool verbose_mode p a =
aux (input_char stdin)
and skip_comment () =
match input_char stdin with
- | '\n' -> aux (input_char stdin)
+ | '\n'-> aux (input_char stdin)
+ | 'q' -> Printf.eprintf "bye\n"; flush stderr; exit 0
| _ -> skip_comment ()
in
let res = aux x in
--
GitLab