Subject: sticky-bit?

From: [email-masked] (Mark Crother)
Date: Fri, 4 Mar 1994 15:45:31 -0800 (PST)

I was wondering if anyone in the world of PINE is using it with the
sticky bit set.  I seem to have a huge number of users using PINE at
trhe same time, and unless PINE is build with demand paging and/or
shared text, setting the sticky bit should help me.

Any comments on the sticky bit and/or the way PINE is made and if they
use demand paging and shared text would be appreciated.

Thanks
-- 
Mark Crother [email-masked]       	 California Technology Project(CTP)
Sysadm 	(310)985-9631 	    California Online Resources for Education(CORE)
(800)272-8743(Calif only)   Cal State Univ.       --"I'm a hard CORE user!"

---

From: "Isaias Callejas Mancilla." <[email-masked]>
Date: Tue, 8 Mar 1994 12:39:50 -0600 (CST)

> use demand paging and shared text would be appreciated.
 Hi Mark,
	I am working with sticky bit on PINE, it is functional... perhaps 
it is not the solution your problem of speed, but help...

		chmod 1755 /usr/bin/pine

	One comment, if you want to diminish the work of you system, I 
suggest you increase the seconds that PINE wait for read the 

                /usr/spool/mail/$USER

 on ~/pine3.xx/pine/osdep/os-xxx.h :

/*----------------------------------------------------------------------
    Timeouts (seconds)
 ----*/
#define NEW_MAIL_TIME      (60) /* How often to check for new mail.
                                   There's
                                   some expense in doing this so it shouldn't
                                   be done too frequently.  */

/*----------------------------------------------------------------------

  hope it help...

     /####           E. Isaias Callejas M.
   /#    /########   Electronic Mail System Administration
 /##   /##########   Coordination of Computing Services
 ### /##       ###   Academic Computing, National University of Mexico
 ### ######### ###  ==================================================
 ###       ##/ ###   University City, Mexico D.F.
 ##########/   ##/   E-mail : [email-masked]
 ########/    #/     Phone  : (5)6 22 85 22  << MIME is Welcome!!! >>
         ####/