void
done_settings(void)
{
- free(set_pager);
- free(set_journal);
+ 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);
+ free (cmd.s_endcmd);
+ free (cmd.s_prompt);
+ free (cmd.s_cprompt);
+ free (cmd.s_dprompt);
}
#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);