From e280c8edf8d49f50b9022e20f0ac5f104f123c67 Mon Sep 17 00:00:00 2001
From: barras
Date: Wed, 23 Nov 2005 17:21:53 +0000
Subject: bug de coqide sous windows (bad file descriptor)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7603 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 lib/system.ml  | 2 ++
 lib/system.mli | 2 +-
 2 files changed, 3 insertions(+), 1 deletion(-)

(limited to 'lib')

diff --git a/lib/system.ml b/lib/system.ml
index 7e59a876e0..d14956daf9 100644
--- a/lib/system.ml
+++ b/lib/system.ml
@@ -22,6 +22,8 @@ let safe_getenv_def var def =
     flush Pervasives.stdout;
     def
 
+let getenv_else s dft = try Sys.getenv s with Not_found -> dft
+
 let home = (safe_getenv_def "HOME" ".")
 
 let safe_getenv n = safe_getenv_def n ("$"^n)
diff --git a/lib/system.mli b/lib/system.mli
index 1ecd4bcffa..279a6dc3e5 100644
--- a/lib/system.mli
+++ b/lib/system.mli
@@ -24,7 +24,7 @@ val make_suffix : string -> string -> string
 val file_readable_p : string -> bool
 
 val glob : string -> string
-
+val getenv_else : string -> string -> string
 val home : string
 
 val exists_dir : string -> bool
-- 
cgit v1.2.3