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 ++
 1 file changed, 2 insertions(+)

(limited to 'lib/system.ml')

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)
-- 
cgit v1.2.3