X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fset.q;h=620961b59ca46415e50647625aa76feed43ca0b5;hb=e48df05eeeb85838526a03a3371964f5f6b14321;hp=120606fb66eddc3822a1f370fda4f5c9c42778fe;hpb=b7852df2743416201dc85fd672644799cdd1b7b5;p=pspp

diff --git a/src/set.q b/src/set.q
index 120606fb66..620961b59c 100644
--- a/src/set.q
+++ b/src/set.q
@@ -1104,10 +1104,18 @@ init_settings(void)
 
 #if !USE_INTERNAL_PAGER
   {
-    char *pager;
+    const char *pager = getenv ("STAT_PAGER");
 
-    pager = getenv ("STAT_PAGER");
-    if (!pager)  set_pager = getenv ("PAGER");
+    if (!pager) 
+      {
+	const char *p = getenv ("PAGER");
+	
+	if ( p != NULL ) 
+	  set_pager = xstrdup (p);
+	else
+	  set_pager = 0;
+      }
+    
 
     if (pager)  
       set_pager = xstrdup (pager);