# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1394211045 18000
# Node ID 94529780bbcfbef70135f98d4c68aa541d1f1e4f
# Parent  3d1d44111906d0da69384af9aa0faf69b451ee34
getenv calls UNIX getenv() when no special alternative is set

diff -r 3d1d44111906 -r 94529780bbcf src/c/urweb.c
--- a/src/c/urweb.c	Tue Mar 04 08:46:33 2014 -0500
+++ b/src/c/urweb.c	Fri Mar 07 11:50:45 2014 -0500
@@ -3672,7 +3672,7 @@
   if (ctx->get_env)
     return ctx->get_env(ctx->get_env_data, name);
   else
-    return NULL;
+    return getenv(name);
 }
 
 uw_Basis_string uw_unnull(uw_Basis_string s) {
diff -r 3d1d44111906 -r 94529780bbcf tests/getenv.ur
--- a/tests/getenv.ur	Tue Mar 04 08:46:33 2014 -0500
+++ b/tests/getenv.ur	Fri Mar 07 11:50:45 2014 -0500
@@ -1,3 +1,5 @@
 task initialize = fn _ =>
   v <- getenv (blessEnvVar "USER");
-  return {}
+  case v of
+      None => debug "No USER"
+    | Some u => debug u