/* Public functions */
+void
+done_settings(void)
+{
+ if ( rng )
+ gsl_rng_free (rng);
+ free (set_pager);
+ free (set_journal);
+
+ free (cmd.s_endcmd);
+ free (cmd.s_prompt);
+ free (cmd.s_cprompt);
+ free (cmd.s_dprompt);
+}
+
+
+
void
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);