mrg e5e3e0877a add a SIGTERM handler to unmount the portal fs when killed. also put the ... right PID in the mount table. from pr#893 <kstailey@leidecker.gsfc.nasa.gov>		1996-03-23 02:37:48 +00:00
..
activate.c	slightly clean rcs ids, etc.	1995-04-23 10:33:03 +00:00
conf.c	slightly clean rcs ids, etc.	1995-04-23 10:33:03 +00:00
Makefile	convert to new RCS Id conventions; reduce my headache	1995-03-18 14:54:19 +00:00
mount_portal.8	Remove junk (from Masanobu Saitoh; PR#1378).	1995-08-18 15:01:19 +00:00
mount_portal.c	add a SIGTERM handler to unmount the portal fs when killed. also put the	1996-03-23 02:37:48 +00:00
pathnames.h	slightly clean rcs ids, etc.	1995-04-23 10:33:03 +00:00
portal.conf	convert to new RCS Id conventions; reduce my headache	1995-03-18 14:54:19 +00:00
portald.h	slightly clean rcs ids, etc.	1995-04-23 10:33:03 +00:00
pt_conf.c	slightly clean rcs ids, etc.	1995-04-23 10:33:03 +00:00
pt_exec.c	slightly clean rcs ids, etc.	1995-04-23 10:33:03 +00:00
pt_file.c	Fix debugging printf.	1995-06-06 19:54:30 +00:00
pt_tcp.c	Use inet_aton(), not inet_addr().	1995-05-21 15:33:22 +00:00