Subject: New mail poll freq - how to change

From: [email-masked] (Simcha Lerner)
Date: 20 Jul 1994 07:06:06 GMT

Is there a way to change how often pine polls for new mail?

Thanks.

--
Simcha-Yitzchak Lerner
[email-masked]
Opinions expressed are my own.  Do not assume that anyone else shares them.

---

From: [email-masked] (Jim Davis)
Date: 20 Jul 1994 10:54:58 -0700

In article <[email-masked]>,
Simcha Lerner <[email-masked]> wrote:
:Is there a way to change how often pine polls for new mail?
:

In the pine3.89 source code, it looks like NEW_MAIL_TIME, #define'd to
be 150 seconds in pine/os.h, is the thing to change.  I haven't tried
that though.

---

From: David L Miller <[email-masked]>
Date: Wed, 20 Jul 1994 13:29:46 -0700 (PDT)

Not without recompiling...

---

From: [email-masked] (Alex Nishri)
Date: Thu, 21 Jul 1994 02:11:20 GMT

In article <[email-masked]>,
>be 150 seconds in pine/os.h, is the thing to change.  I haven't tried

Is it 150 seconds for pc-pine imap too?

---

From: [email-masked] (Cimage)
Date: 22 Jul 1994 18:16:58 GMT

Jim Davis ([email-masked]) wrote:
: In article <[email-masked]>,
: Simcha Lerner <[email-masked]> wrote:
: :Is there a way to change how often pine polls for new mail?
: :

: In the pine3.89 source code, it looks like NEW_MAIL_TIME, #define'd to
: be 150 seconds in pine/os.h, is the thing to change.  I haven't tried
: that though.

YUCK!

Something like this be driven off of the
mail environment variable or .pinerc!